10.3 Symmetric Relations
-
Subsection 10.3.1: Foundations
- Definition 10.3.1.1.1: Symmetric Relations
- Remark 10.3.1.1.2: Unwinding Definition 10.3.1.1.1
- Definition 10.3.1.1.3: The Po/Set of Symmetric Relations on a Set
- Proposition 10.3.1.1.4: Properties of Symmetric Relations
-
Subsection 10.3.2: The Symmetric Closure of a Relation
- Definition 10.3.2.1.1: The Symmetric Closure of a Relation
- Construction 10.3.2.1.2: The Symmetric Closure of a Relation
- Proposition 10.3.2.1.3: Properties of the Symmetric Closure of a Relation
