codomain

The codomain of a binary relation is the set of possible outputs.

Given a mapping $f:X\to Y$, the codomain of $f$ is $Y$.
The codomain is part of the substance of a mapping rather than a property of it.