A relation $R$ on $A$ is symmetric if we have $R^{\dagger }=R$.
- (★) For each $a,b\in A$, if $a\sim _{R}b$, then $b\sim _{R}a$.
-
1.
The set of symmetric relations on $A$ is the subset $\smash {\mathrm{Rel}^{\mathrm{symm}}(A,A)}$ of $\mathrm{Rel}(A,A)$ spanned by the symmetric relations.
-
2.
The poset of relations on $A$ is is the subposet $\smash {\mathbf{Rel}^{\mathsf{symm}}(A,A)}$ of $\mathbf{Rel}(A,A)$ spanned by the symmetric relations.
10.3.1 Foundations
Let $A$ be a set.
In detail, a relation $R$ is symmetric if it satisfies the following condition:
Let $A$ be a set.
Let $R$ and $S$ be relations on $A$.
Proof of Proposition 10.3.1.1.4.
Item 1: Interaction With Inverses
Omitted.
Item 2: Interaction With Composition
Omitted.
