Order Isomorphism is Equivalence Relation/Proof 2

Theorem
Order isomorphism between posets is an equivalence relation.

Proof
A poset is a relational structure where order isomorphism is a special case of relation isomorphism.

The result follows directly from Relation Isomorphism is an Equivalence.