In axiomatic set theory, the axiom of union is one of the axioms of Zermelo–Fraenkel set theory. This axiom was introduced by Ernst Zermelo.[1]
Informally, the axiom states that for each set x there is a set y whose elements are precisely the elements of the elements of x.