Source : Free On-Line Dictionary of Computing

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)