Category:Fundamental Theorem of Well-Ordering

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Fundamental Theorem of Well-Ordering:


Let $\struct {A, \preccurlyeq_A}$ and $\struct {B, \preccurlyeq_B}$ be well-ordered classes.

Then either:

$\struct {A, \preccurlyeq_A}$ is order isomorphic to a lower section of $\struct {B, \preccurlyeq_B}$, or perhaps all of $\struct {B, \preccurlyeq_B}$

or:

$\struct {B, \preccurlyeq_B}$ is order isomorphic to a lower section of $\struct {A, \preccurlyeq_A}$, or perhaps all of $\struct {A, \preccurlyeq_A}$.

Pages in category "Fundamental Theorem of Well-Ordering"

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