Definition:Extension of Class/Immediate
< Definition:Extension of Class(Redirected from Definition:Immediate Extension of Class)
Jump to navigation
Jump to search
This page is about Immediate Extension of Class. For other uses, see Extension.
Definition
Let $A$ and $B$ be classes.
Let $B$ be an extension of $A$.
$B$ is an immediate extension of $A$ if and only if $B$ contains exactly one more element than $A$.
Also see
- Results about class extensions can be found here.
Sources
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $4$: Superinduction, Well Ordering and Choice: Part $\text {II}$ -- Maximal principles: $\S 6$ Another approach to maximal principles