Reflexive Reduction of Ordering is Strict Ordering

Theorem
Let $\mathcal R$ be an ordering on a set $S$.

Then $\mathcal R^\neq$, the reflexive reduction of $\mathcal R$, is a strict ordering on $S$.