Definition:Superinductive Class

Definition
Let $A$ be a class.

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

Then $A$ is superinductive under $g$ :
 * $A$ is inductive under $g$
 * $A$ is closed under chain unions.

That is: