Definition:Transitive Relation/Definition 2

Definition
Let $\RR \subseteq S \times S$ be a relation in $S$. $\RR$ is transitive :


 * $\RR \circ \RR \subseteq \RR$

where $\circ$ denotes composite relation.

Also see

 * Equivalence of Definitions of Transitive Relation