Definition:Symmetric Closure

Definition
Let $\mathcal R$ be a relation on a set $S$.

Equivalence of Definitions
See Equivalence of Definitions of Symmetric Closure for a proof that the definitions above are equivalent.

Note
In contrast to reflexive and transitive relations, there is no concept of symmetric reduction. A moment's thought will establish why.