Symmetry

algebra

Definition

Symmetry

A relation $R\subseteq A\times B$ is symmetric if whenever an element $a\in A$ is in relation with an element $b\in B$, then the reverse is also true.

$$\forall a\in A:\forall b\in B:aRb⟹bRa$$