Category:Fixed Point of Progressing Mapping on Minimally Inductive Class is Greatest Element
Jump to navigation
Jump to search
This category contains pages concerning Fixed Point of Progressing Mapping on Minimally Inductive Class is Greatest Element:
Let $M$ be a class which is minimally inductive under a progressing mapping $g$.
Let $x$ be a fixed point of $g$.
Then $x$ is the greatest element of $M$.
Pages in category "Fixed Point of Progressing Mapping on Minimally Inductive Class is Greatest Element"
The following 3 pages are in this category, out of 3 total.