Transitive Relation
- Tags
- math
Any relation \( R \subseteq A \times A \) is [see page 26, transitive] if \( \forall x, y, z \in A ((x R y) \land (y R z) \implies x R z) \).
Any relation \( R \subseteq A \times A \) is [see page 26, transitive] if \( \forall x, y, z \in A ((x R y) \land (y R z) \implies x R z) \).