The Clowder Project

7.2 Symmetric Relations

• Subsection 7.2.1: Foundations
  • Definition 7.2.1.1.1: Symmetric Relations
  • Remark 7.2.1.1.2: Unwinding Definition 7.2.1.1.1
  • Definition 7.2.1.1.3: The Po/Set of Symmetric Relations on a Set
  • Proposition 7.2.1.1.4: Properties of Symmetric Relations
• Subsection 7.2.2: The Symmetric Closure of a Relation
  • Definition 7.2.2.1.1: The Symmetric Closure of a Relation
  • Construction 7.2.2.1.2: The Symmetric Closure of a Relation
  • Proposition 7.2.2.1.3: Properties of the Symmetric Closure of a Relation