A symmetric relation is a type of binary relation. Formally, a binary relation on a set is symmetric if:
: for all and in , if and only if ,where the notation means that the ordered pair is in the relation .

An example is the relation "is equal to", because if 1=''a'' = ''b'' is true then 1=''b'' = ''a'' is also true. If R^T represents the converse