Reflexivity

A binary relation $\succeq$ on a set $X$ is reflexive iff $a \succeq a$ for all $a \in X$.