axiom of union noun1 •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.
