Definition:Minimally Inductive Class under General Mapping/Definition 2

Definition
Let $A$ be a class.

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

$A$ is minimally inductive under $g$ :

Also see

 * Equivalence of Definitions of Minimally Inductive Class