Немає перевірених версій цієї сторінки; ймовірно, її ще не перевіряли на відповідність правилам проекту.
Аксіомою об’єднання називають таке висловлення теорії множин:
Аксіому об’єднання можна сформулювати таким чином: «З будь-якого сімейства множин можна утворити як мінімум одну таку множину , кожен елемент якої належить хоча б одній множині даного сімейства .»
0. В аксіомі об’єднання вказаний тип множин (елементи множин сімейства ), які повинні бути елементами множини , що утворюється. Разом з тим, аксіома об'єднання не містить алгоритм знаходження всіх елементів множини , що утворюється.
2. Керуючись аксіомою об'ємності можна довести єдиність сукупності для кожного сімейства множин . Інакше кажучи, можна довести, що аксіома об'єднання рівносильна такому висловлюванню