Since order-equivalence is an equivalence relation, it partitions the class of all ordered sets into equivalence classes.
As order-equivalence is a form of equivalence relation, it organizes the class of all ordered sets into categories that share common characteristics.