Reflexivity

A homogeneous binary relation $R$ over a set $A$ is reflexive if and only if $\forall a \in A, (a, a) \in R.$