Subset of Preimage under Relation is Preimage of Subset/Corollary

Corollary to Subset of Preimage
Let $f: S \to T$ be a mapping.

Let $X \subseteq S, Y \subseteq T$.

Then:
 * $X \subseteq f^{-1} \left[{Y}\right] \iff f \left[{X}\right] \subseteq Y$

Proof
Let $f: S \to T$ be a mapping.

As a mapping is also a relation, it follows that $f$ is a relation and so:


 * $X \subseteq f^{-1} \left[{Y}\right] \iff f \left[{X}\right] \subseteq Y$

holds on the strength of Subset of Preimage.