Объедине́ние мно́жеств, одна из основных операций над множествами. Пусть имеется некоторая (конечная или бесконечная) совокупность множеств $A_α$ (индексы $α$ нужны для различения элементов данной совокупности). Тогда множество тех элементов, которые принадлежат хотя бы одному из множеств, входящих в эту совокупность, называется объединением множеств, образующих данную совокупность. Объединение множеств часто называется их суммой. Объединение множеств $A_α$ обозначается $⋃A_α$ (объединение двух множеств $A_1, A_2$ – $A_1⋃A_2$), иногда (обычно если множества попарно не пересекаются) – $\sum A_α$.