Definition:Symmetric Relation/Definition 2

Definition

Let $\RR \subseteq S \times S$ be a relation in $S$.

$\RR$ is symmetric if and only if it equals its inverse:

$\RR^{-1} = \RR$

Also see

• Equivalence of Definitions of Symmetric Relation

• Results about symmetric relation can be found here.

Sources

• 1955: John L. Kelley: General Topology ... (previous) ... (next): Chapter $0$: Relations
• 1964: Steven A. Gaal: Point Set Topology ... (previous) ... (next): Introduction to Set Theory: $1$. Elementary Operations on Sets
• 1967: George McCarty: Topology: An Introduction with Application to Topological Groups ... (previous) ... (next): Chapter $\text{I}$: Sets and Functions: Relations