Definition:Minimally Superinductive Class

Definition
Let $A$ be a class.

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

Then $A$ is minimally superinductive under $g$ :
 * $A$ is superinductive under $g$
 * no proper subclass of $A$ is superinductive under $g$.

Also see

 * Definition:Superinductive Class


 * Definition:Inductive Class under General Mapping
 * Definition:Minimally Inductive Class under General Mapping