Transitive Closure is Closure Operator

Definition
Let $S$ be a set.

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

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