Reflexivity

set-theory

Definition

Reflexivity

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

$$\forall a\in A:(a,a)\in R$$