Category:Superinductive Classes
Jump to navigation
Jump to search
This category contains results about Superinductive Classes.
Let $A$ be a class.
Let $g: A \to A$ be a mapping on $A$.
Then $A$ is superinductive under $g$ if and only if:
- $A$ is inductive under $g$
- $A$ is closed under chain unions.
That is:
\((1)\) | $:$ | $A$ contains the empty set: | \(\ds \O \in A \) | ||||||
\((2)\) | $:$ | $A$ is closed under $g$: | \(\ds \forall x:\) | \(\ds \paren {x \in A \implies \map g x \in A} \) | |||||
\((3)\) | $:$ | $A$ is closed under chain unions: | \(\ds \forall C:\) | \(\ds \bigcup C \in A \) | where $C$ is a chain of elements of $A$ |
Subcategories
This category has the following 2 subcategories, out of 2 total.
C
- Cowen's Theorem (11 P)
M
Pages in category "Superinductive Classes"
The following 5 pages are in this category, out of 5 total.