Definition A relation R:A→A→Prop is transitive iff ∀x,y,z:A. Rxy→Ryz→Rxz. Related Concepts Reflexive Relation Symmetric Relation Anti-Symmetric Relation Preorder Equivalence Relation Partial Order References munkres2000-topology