10.2 Reflexive Relations
-
Subsection 10.2.1: Foundations
- Definition 10.2.1.1.1: Reflexive Relations
- Remark 10.2.1.1.2: Unwinding Definition 10.2.1.1.1
- Definition 10.2.1.1.3: The Po/Set of Reflexive Relations on a Set
- Proposition 10.2.1.1.4: Properties of Reflexive Relations
-
Subsection 10.2.2: The Reflexive Closure of a Relation
- Definition 10.2.2.1.1: The Reflexive Closure of a Relation
- Construction 10.2.2.1.2: The Reflexive Closure of a Relation
- Proposition 10.2.2.1.3: Properties of the Reflexive Closure of a Relation
