Reflexive Reduction of Ordering is Strict Ordering

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

Let $\RR^\ne$ be the reflexive reduction of $\RR$.

Then $\RR^\ne$ is a strict ordering on $S$.

Also see

 * Reflexive Closure of Strict Ordering is Ordering