in set theory, the axiom schema that the image of a set under a definable class function is also a set