Category:Fundamental Theorem of Well-Ordering
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.