stylistic:style_transfer, structural:expansion, information:highlighting, linguistic:translation
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. 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.