Category:Examples of Order Isomorphisms

From ProofWiki
Jump to navigation Jump to search

This category contains examples of Order Isomorphisms.

Let $\phi: S \to T$ be a bijection such that:

$\phi: S \to T$ is order-preserving
$\phi^{-1}: T \to S$ is order-preserving.

Then $\phi$ is an order isomorphism.

Subcategories

This category has only the following subcategory.