Reflexive Closure of Relation Compatible with Operation is Compatible

Theorem
Let $\left({S,\circ}\right)$ be an algebraic structure.

Let $\prec$ be a preordering on $S$ which is compatible with $\circ$.

Then $\preceq$ is compatible with $\circ$.