Category:Minimally Inductive Class under Progressing Mapping induces Nest
Jump to navigation
Jump to search
This category contains pages concerning Minimally Inductive Class under Progressing Mapping induces Nest:
Let $M$ be a class which is minimally inductive under a progressing mapping $g$.
Then $M$ is a nest in which:
- $\forall x, y \in M: \map g x \subseteq y \lor y \subseteq x$
Pages in category "Minimally Inductive Class under Progressing Mapping induces Nest"
The following 3 pages are in this category, out of 3 total.