# Transitive

Definition: Transitive
A binary relation on a set is transitive if for all elements , , and with and , we also have .

In a picture, this means that every path from to has a corresponding direct edge from to .