Image is Subset of Codomain/Corollary 3

From ProofWiki
Jump to navigation Jump to search

Corollary to Image is Subset of Codomain

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


The image of $f$ is a subset of the codomain of $f$:

$\Img f \subseteq T$


Proof

We have that a mapping is by definition also a relation.

The result follows from Image is Subset of Codomain: Corollary 1.

$\blacksquare$


Sources