Zermelo–Fraenkel set theory
The axiom of union says that for any set, there exists a set that consists of just the elements of the elements of that set.  For example, given the set , this axiom says that the set  exists.