Definition:Inductive Class/General

Definition
Let $A$ be a class.

Let $g: A \to A$ be a mapping on $A$.

Then $A$ is inductive under $g$ :