Definition:Principle of Superinduction/Closure under Chain Unions

From ProofWiki
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.