Gabungan dalam teori himpunan merupakan operasi penggabungan dua himpunan, sehingga menghasilkan himpunan baru yang berisi anggota-anggota kedua himpunan awal. Operasi penggabungan himpunan (union dalam bahasa Inggris) dilambangkan dengan tanda .
Definisi
Anggota-anggota adalah semua anggota baik yang ada di A maupun yang ada di B. Anggota yang sama hanya ditulis satu kali. Apabila dituliskan dalam notasi matematika, definisi tersebut adalah