codomain (domain + co-; together_joint)
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