From The Free On-line Dictionary of Computing (30 December 2018) :
codomain
The set of values or type containing all possible
results of a function. The codomain of a function f of type
D -> C is C. A function's image is a subset of its
codomain.
(1994-12-23)