axiom of union in Polish

(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.