Contradomínio

É o conjunto de possíveis resultados de uma função. Dada uma função $f$,
\begin{align}
f: & A \rightarrow B \\
& a \mapsto b = f(a)
\end{align}

dizemos que o conjunto $B$ é o contradomínio de $f$.