 Reflexive relation

A relation $R$ on $X$ is reflexive when $xRx$ for every $x\in X$.