Формально: x є елементом A∪B тоді й тільки тоді, коли x є елементом A або x є елементом B. Наприклад, об'єднанням множин {1, 2, 3} та {2, 3, 4} буде {1, 2, 3, 4}. Алгебраїчні властивості Бінарна операція об'єднання є : асоціативною, тобто A∪(B∪C) = (A∪B)∪C (отже, коли в виразі є тільки операція об'єднання, дужки можна не писати: A∪B∪C);