BİRLEŞİM, iki ya da daha çok kümenin tüm elemanlarının bir araya gelmesi (simgesi »). Oluşan yeni kümeye, söz konusu kümelerin birleşim kümesi denir. Örneğin rasyonel ve irrasyonel sayı kümelerinin birleşimi, gerçek sayılar kümesidir. Birleşme işleminin özellikleri şunlardır: (1) birim eleman Ø (boş küme)dir, yani her A kümesi için A È Ø=A’dır; (2)tek kuvvet özelliği, yani her A kümesi için A È A=A’dır; (3) değişme özelliği, yani AÈB=BÈA’dır ve (4) birleşme özelliği, yani (A È B) È C = A È (B È C)’dir.