Definition:Mapping/Diagrammatic Presentations

Definition
The following diagram illustrates the mapping $f: S \to T$.


 * Mapping.png


 * $\operatorname{Dom} \left({f}\right)$ is the domain of $f$.
 * $\operatorname{Cdm} \left({f}\right)$ is the codomain of $f$.
 * $\operatorname{Im} \left({f}\right)$ is the image of $f$.

Note that by Image is Subset of Codomain:
 * $\operatorname{Im} \left({f}\right) \subseteq \operatorname{Cdm} \left({f}\right)$

There are no other such constraints upon the domain, image and codomain.