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.