In other words, the codomain needs to be a vector space.