Noun
axiom of union (set theory) One of the axioms in axiomatic set theory, equivalent to the statement that a union exists for any set, containing exactly all the elements contained within the sets within that set.