Order Isomorphism is Equivalence Relation

Theorem
Order isomorphism between ordered sets is an equivalence relation.

So any given family of ordered sets can be partitioned into disjoint classes of isomorphic sets.

Also see

 * Order Isomorphic Sets are Equivalent