Equivalence Relation Induced by Preordering/Examples