User:Dfeuer/Definition:Inductive under Mapping

Theorem
Let $A$ be a class,

Let $g$ be a mapping whose domain includes $A$.

Then $A$ is inductive under $g$, or $g$-inductive iff:


 * $\varnothing \in A$
 * For all $x \in A$, $g(x) \in A$