Inom matematiken är unionen av två mängder A och B, mängden av de element som tillhör A eller B. Med "eller", menas här inklusivt eller, vilket innebär att unionsmängden består av de element, vilka tillhör minst en av de två mängderna. Unionen av A och B skrivs A ∪ B där ∪ är symbolen för union. Symboliskt definieras unionsmängden av A och B som:
Exempelvis gäller således: A ∪ ∅ = A och A ∪ A = A, där ∅ är symbolen för tomma mängden.
En union kan omfatta ett godtyckligt antal mängder. Unionen av
skrivs ofta som