Definition:Transitivity (Relation Theory)

Definition
Let $\mathcal R \subseteq S \times S$ be a relation in $S$.

Also see

 * Reflexivity
 * Symmetry