Definition:Minimally Inductive Class under General Mapping

Definition
Let $A$ be a class.

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

Also see

 * Equivalence of Definitions of Minimally Inductive Class