Symmetric relation

Set

context $X$
definiendum $ R\in\mathrm{SymmetricRel}(X) $
context $ R \in \mathrm{Rel}(X) $
$ x,y\in X $
postulate $ xRy \Leftrightarrow yRx $

Discussion

Parents

Subset of

Binary relation on a set