Relating to some [[Function]] $f: A \mapsto B$, the [[Image]] of $x\in A$ through $f$ is the value $y\in B$, such that $f(x) = y$. The [[Image]] of $f$ is a value of the [[Codomain]] of $f$, the [[Set]] of all images ([[Codomain]]) is denoted as: $\huge \op{\mathrm{Im}}(T) $