10.4 Transitive Relations
-
Subsection 10.4.1: Foundations
- Definition 10.4.1.1.1: Transitive Relations
- Remark 10.4.1.1.2: Unwinding Definition 10.4.1.1.1
- Definition 10.4.1.1.3: The Po/Set of Transitive Relations on a Set
- Proposition 10.4.1.1.4: Properties of Transitive Relations
-
Subsection 10.4.2: The Transitive Closure of a Relation
- Definition 10.4.2.1.1: The Transitive Closure of a Relation
- Construction 10.4.2.1.2: The Transitive Closure of a Relation
- Proposition 10.4.2.1.3: Properties of the Transitive Closure of a Relation
