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

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