Order Isomorphism is Equivalence Relation/Proof 1

Theorem
Order isomorphism between posets is an equivalence relation.

Proof

 * Reflexive:

Follows directly from Identity Mapping is Order Isomorphism.


 * Symmetric:

Follows directly from Inverse of Order Isomorphism is Order Isomorphism.


 * Transitive:

Follows directly from Composite of Order Isomorphisms is Order Isomorphism.