Definition:Closed under Mapping/Class Theory

Definition
Let $A$ be a class.

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

Then $A$ is closed under $g$ :


 * $\forall x \in A: \map g x \in A$