Definition:Progressing Mapping

Definition
Let $C$ be a class.

Let $f: C \to C$ be a mapping from $C$ to $C$.

Then $f$ is a progressing mapping :


 * $x \in C \implies x \subseteq \map f x$

That is, for each $x \in C$, $x$ is a subset of $\map f x$.