Объедине́ние мно́жеств (тж. су́мма или соедине́ние) в теории множеств — множество, содержащее в себе все элементы исходных множеств. Объединение двух множеств и обычно обозначается ∪ , но иногда можно встретить запись в виде суммы .
Пусть даны два множества и . Тогда их объединением называется множество
Пусть дано семейство множеств Тогда его объединением называется множество, состоящее из всех элементов всех множеств семейства: