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