\begin{definition}[Definition:Inflationary Mapping/Subset]
Let $C$ be a class.
Let $f: C \to C$ be a mapping from $C$ to $C$.
Then $f$ is '''inflationary''' {{iff}}:
:$x \in C \implies x \subseteq \map f x$
That is, {{iff}} for each $x \in C$, $x$ is a subset of $\map f x$.
\end{definition}