Нека А и В са множества. Обединение на А и В наричаме ново множество С, такова че всеки елемент на С принадлежи на А или на В (или и на двете).