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)