Category:Reflexive Reduction of Ordering is Strict Ordering