Reflexive Relation

Reflexive Relation

Updated: October 22, 2020
Math Set-Theory

A binary relation \(R\) over a set \(X\) is reflexive if it relates every \(x \in X\) to itself.

\begin{equation} \forall x \in X \,|\, xRx \end{equation}

An example of a reflexive relation is “is equal to” since any number within \(\mathbb{R}\) would be mapped back to itself.

Tao’s definition:

Given any object x, we have \(x = x\).

See also: