Zermelo–Fraenkel set theory
The axiom of specification says that given a set , and a predicate  (a function that is either true or false), that a set exists that contains exactly those elements of  where  is true.  For example, if , and  is "this is an even number", then the axiom says that the set  exists.