Definition:Principle of Superinduction/Closure under Chain Unions
Jump to navigation
Jump to search
Terminology of Principle of Superinduction
Consider a Proof by Superinduction.
The step which shows that:
- $\ds \forall C: \forall x \in C = \map P x = \T \implies \map P {\bigcup C} = \T$
is called the closure under chain unions.