Дайте определение: -Отношения подмножества; -Перечисление множеств; -Объединение множеств.

Множество  является подмножеством множества , если любой элемент, принадлежащий , также принадлежит  В теории множеств, теории алгоритмов и математической логике, перечисли́мое мно́жество (эффекти́вно перечислимое, рекурси́вно перечислимое, полуразреши́мое множество[1]) — множество конструктивных объектов (например, натуральных чисел), все элементы которого могут быть получены с помощью некоторого алгоритма. Объедине́ние мно́жеств (тж. су́мма или соедине́ние) в теории множеств — множество, содержащее в себе все элементы исходных множеств. Объединение двух множеств  и  обычно обозначается , но иногда можно встретить запись в виде суммы .