Reflexivity

A property of binary relations. A binary relation $R$ on a set $A$ is called reflexive if $aRa$ for all $a\in A$. Examples of reflexive relations are equality, equivalence, order.