Reflexive Closure is Closure Operator

Theorem
Let $S$ be a set.

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

Then the reflexive closure operator on $R$ is a closure operator.