<-- Go Back Last Updated: 11/01/2025
A relation \(R\) on a set \(X\) is symmetric if \(\forall x,y\in X: xRy\Rightarrow yRx\). A relation is antisymmetric if \(\forall x,y\in X:(xRy\land yRx)\Rightarrow x=y\).