Category:Non-Empty Bounded Subset of Minimally Inductive Class under Progressing Mapping has Greatest Element
Jump to navigation
Jump to search
This category contains pages concerning Non-Empty Bounded Subset of Minimally Inductive Class under Progressing Mapping has Greatest Element:
Let $M$ be a class which is minimally inductive under a progressing mapping $g$.
Then every non-empty bounded subset of $M$ has a greatest element.
Pages in category "Non-Empty Bounded Subset of Minimally Inductive Class under Progressing Mapping has Greatest Element"
The following 3 pages are in this category, out of 3 total.
N
- Non-Empty Bounded Subset of Minimally Inductive Class under Progressing Mapping has Greatest Element
- Non-Empty Bounded Subset of Minimally Inductive Class under Progressing Mapping has Greatest Element/Proof 1
- Non-Empty Bounded Subset of Minimally Inductive Class under Progressing Mapping has Greatest Element/Proof 2