| • Science | • People | • Locations | • Timeline |
In notation, this is:
For example, "is married to" is a symmetric relation, while, "is less than" is not.
Note that symmetry is not the opposite of antisymmetry (aRb and "bRa" implies b = a). There are relations which are both symmetric and antisymmetric ( equality), there are relations which are neither symmetric nor antisymmetric ( divisibility), there are relations which are symmetric and not antisymmetric ( congruence modulo n), and there are relations which are not symmetric but are anti-symmetric ("is less than" ).
A symmetric relation that is also transitive and reflexive is an equivalence relation.
Set theory