Reflexive Binary Relation

Definition

Reflexive Binary Relation

A relation $R\subseteq A\times A$ is called reflexive if all elements relate to themselves, i.e.,

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