Reflexive Relation

A binary relation R over a set X is reflexive if it relates every x∈X to itself.

∀x∈X|xRx

An example of a reflexive relation is “is equal to” since any number within R would be mapped back to itself.

Tao’s definition:

Given any object x, we have x=x.

See also:

• Symmetric Relation

• Transitive Relation