symmetric relation

A binary relation $R$ on a set $A$ is reflexive if for all $a, b \in A$ , $aRb$ implies $bRa$ .

$R$ is antisymmetric, not symmetric, if there exists $a,b \in A$ for which $aRb$ but $a\cancel{R}b$ .