Symmetric Relation

This definition is more clearly described sybollically:

∀a,b∈X(aRb⟺bRa)

Tao’s definition:

Given any two objects x and y of the same type, if x=y, then y=x.

See also:

• Transitive Relation

• Reflexive Relation