Let $f : X \to Y$ be a D18: Map.

Then \begin{equation} \forall \, E, F \subseteq X \left( E \subseteq F \quad \implies \quad f(E) \subseteq f(F) \right) \end{equation}