The target set into which a function is formally defined to map elements of its domain; the set denoted Y in the notation f : X → Y.