Category:Order Isomorphisms

From ProofWiki
Jump to navigation Jump to search

This category contains results about Order Isomorphisms.
Definitions specific to this category can be found in Definitions/Order Isomorphisms.


Let $\left({S, \preceq_1}\right)$ and $\left({T, \preceq_2}\right)$ be ordered sets.

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 the following 2 subcategories, out of 2 total.

Pages in category "Order Isomorphisms"

The following 34 pages are in this category, out of 34 total.