Reflexivity

algebra

Definition

Reflexivity

A relation $R\subseteq A\times A$ is called reflexive if all elements relate to themselves:

$$\forall a\in A:aRa$$