Define a reflexive relation.

A relation R on A is said to be reflexive iff every element of A is related to itself.

i.e. $R$ is reflexive $\Leftrightarrow(a, a) \in R$ for all $a \in A$