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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Аксиомой объединения называется следующее высказывание теории множеств: «Из любого семейства множеств можно образовать как минимум одно такое множество , каждый элемент которого принадлежит хотя бы одному множеству данного семейства .» Формально:

Другие формулировки аксиомы объединения[править | править вики-текст]

Примечания[править | править вики-текст]

В аксиоме объединения указан тип множеств (элементы множеств семейства ), которые должны быть элементами образуемого множества . Вместе с тем, аксиома объединения не содержит алгоритм нахождения всех элементов образуемого множества .

См. также[править | править вики-текст]

Литература[править | править вики-текст]