math Definition Function Image The image of a function f:D→C is the set of all possible output values the function with domain D can produces, i.e.: Im(f)={f(a)∣a∈D}⊆C In contrast to the codomain, the image is the set of actual outcomes. Thus: Im(f)⊆C.