codomain <theory> 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)