Reflexive Reduction of Ordering is Strict Ordering/Proof 2

Proof
By definition, an ordering is both antisymmetric and transitive.

The result then follows from Reflexive Reduction of Transitive Antisymmetric Relation is Strict Ordering.