In mathematics, a binary relation R over a set X is reflexive if every element of X is related to itself.

In mathematical notation, this is:

An example of a reflexive relation is the relation "is equal to" on the set of real numbers, since every real number is equal to itself. A reflexive relation is said to have the reflexive property or is said to possess reflexivity.