Order Isomorphism is Equivalence Relation

Theorem
Order isomorphism between posets is an equivalence relation.

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

Also see

 * Order Isomorphic Sets are Equivalent