Let $f : X \to Y$ be a D18: Map.
Let $E, F \subseteq X$ each be a D78: Subset of $X$ such that

(i)	\begin{equation} E \subseteq F \end{equation}

Then \begin{equation} f(E) \subseteq f(E) \end{equation}