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 $\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.


This category has the following 7 subcategories, out of 7 total.

Pages in category "Order Isomorphisms"

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