User:Dfeuer/Definition:Inductive under Mapping

Definition

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$