Аксиома объединения
Перейти к навигации
Перейти к поиску
Аксиомой объединения называется следующее высказывание теории множеств: «Из любого семейства множеств можно образовать как минимум одно такое множество , каждый элемент которого принадлежит хотя бы одному множеству данного семейства », в символьной записи
Другие формулировки аксиомы объединения[править | править код]
Примечания[править | править код]
В аксиоме объединения указан тип множеств (элементы множеств семейства ), которые должны быть элементами образуемого множества . Вместе с тем, аксиома объединения не содержит алгоритм нахождения всех элементов образуемого множества .
См. также[править | править код]
Литература[править | править код]
Для улучшения этой статьи по математике желательно:
|