codomain

Codomain

For a function $f:A\to B$, the set $B$ is called the codomain of $f$.
It is the (declared) set within which all outputs of $f$ must lie, but not all elements of $B$ need to be actual outputs of $f$.

“Zielmenge”