restriction_of_codomain