Zermelo–Fraenkel set theory
The axiom of replacement says that for any set  and a function , that the set consisting of the results of calling  on all the members of  exists.  For example, if  and  is "add ten to this number", then the axiom says that the set  exists.