Symmetric Relation

A Relation $R\subseteq A\times A$ is symmetric if for all $x,y:A$, $R(x,y)\Rightarrow R(y,x)$. Equivalently, a relation $R$ is symmetric if it is equal to its own Converse; this version works better in an Allegory.