İki kümenin birleşimi, her iki kümedeki tüm elemanları içerir. Eğer A = {1, 2, 3} ve B = {3, 4, 5} ise, A ∪ B = {1, 2, 3, 4, 5} olur. Ortak elemanlar bir kez listelenir. Sembol ∪'dir.

Venn diyagramlarında, birleşim, her iki dairenin de kapladığı tüm gölgeli bölgedir. Olasılıkta, iki olayın birleşimi, en az birinin gerçekleşmesi olayıdır. Olasılıklar için toplama kuralı, birleşimi içerir.

Birleşim (union) küme teorisinde, mantıkta, veritabanlarında ve programlamada karşımıza çıkar. SQL'de, birleşim operatörü iki sorgunun sonuçlarını birleştirir. Matematikte, birleşim, kesişim ve tümleme ile birlikte temel küme işlemlerinden biridir. Kavram basit ancak yaygın olarak kullanılır.

• Her iki kümedeki tüm elemanların kümesi
• Sembol: ∪
• Ortak unsurlar bir kez listelenmiştir.
• Olasılık, veritabanları ve mantık alanlarında kullanılır.