Reflexive Relation

A Relation $R$ on a Set $S$ is reflexive provided that $x R x$ for every $x$ in $S$.

See also Relation