The Free On-line Dictionary of Computing (19 January 2023):

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)