# Reflexive Relation

##### Updated: October 22, 2020

A binary relation \(R\) over a set \(X\) is

reflexiveif it relates every \(x \in X\) toitself.

\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: