union axiom

noun1

1. •
   The axiom stating that for every set of sets A, there exists a set C whose elements are all and only the elements of at least one B ∈ A.

   • For every set T there corresponds a set ∪T which consists of all the elements of the elements of T. — 1908