Reflexive relation (source code)

= Reflexive relation
{wiki}

= Reflexivity
{synonym}

= Reflexive
{synonym}

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