Equivalence Induced on Preordering defines Ordering