image is always a subset of the codomain