Jump to navigation Jump to search
- $\forall T \subseteq S, T \ne \O: \exists a \in T: \forall x \in T: a \preceq x$
This category has the following 7 subcategories, out of 7 total.
- ► Condition for Well-Foundedness (5 P)
- ► Sandwich Principle (1 C, 7 P)
- ► Well-Ordered Integral Domains (4 P)
Pages in category "Well-Orderings"
The following 53 pages are in this category, out of 53 total.
- Sandwich Principle
- Set of Integers Bounded Above has Greatest Element
- Set of Integers Bounded Below has Smallest Element
- Set of Integers can be Well-Ordered
- Set of Integers is not Well-Ordered by Usual Ordering
- Set of Non-Negative Real Numbers is not Well-Ordered by Usual Ordering
- Strict Well-Ordering Isomorphic to Unique Ordinal under Unique Mapping
- Strictly Increasing Mapping Between Wosets Implies Order Isomorphism
- Subset of Well-Ordered Set is Well-Ordered
- Well-Ordered Induction
- Well-Ordered Transitive Subset is Equal or Equal to Initial Segment
- Well-Ordering Minimal Elements are Unique
- Well-Ordering Principle
- Well-Ordering Theorem implies Hausdorff Maximal Principle
- Woset is Isomorphic to Set of its Initial Segments
- Wosets are Isomorphic to Each Other or Initial Segments