A [[Binary Relation]] $R$ on a [[Set|set]] $X$ has the [[Symmetric Matrix|Symmetric]] property if the ordered pair $(a,b)\in R$ , this [[02 Areas/Math/Conditional|implies]] that $(b,a)\in R$ $\huge a \sim b \iff b \sim a $