Definition:Principle of Superinduction/Closure under Chain Unions

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.