Reflexive Closure is Inflationary

Theorem
Let $S$ be a set.

Let $R$ denote the set of all endorelations on $S$.

Then the reflexive closure operator is an inflationary mapping on $R$.

Proof
Let $\mathcal R \in R$.

The reflexive closure $\mathcal R^=$ of $\mathcal R$ is defined as:


 * $\mathcal R^= := \mathcal R \cup \Delta_S$

From Set is Subset of Union:


 * $\mathcal R \subseteq \mathcal R^=$

Hence the reflexive closure operator is an inflationary mapping.