Аксиома объединения

Аксиома объединения (англ. axiom of union, нем. Axiom der Vereinigung) — следующее высказывание теории множеств:

для любого множества существует объединение элементов данного множества: $$ \Upsilon \ \stackrel{\mathrm{def}}{=} \ \forall a \quad \Bigl( \ \exists b \quad \bigl(\, \forall c \quad c\in b \Leftrightarrow (\exists d \quad c\in d \ \land \ d\in a) \,\bigr) \ \Bigr) $$

Связанные статьи
Теорема о существовании и единственности объединения элементов множества