Unionen av to mengder inneholder alt i begge mengdene. Hvis A = {1, 2, 3} og B = {3, 4, 5}, så er A ∪ B = {1, 2, 3, 4, 5}. Felles elementer er oppført én gang. Symbolet er ∪.

I Venn-diagrammer er foreningen hele det skyggelagte området som dekkes av begge sirklene. I sannsynlighetssammenheng er foreningen av to hendelser hendelsen der minst én inntreffer. Addisjonsregelen for sannsynligheter involverer foreningen.

Union forekommer i mengdelære, logikk, databaser og programmering. I SQL kombinerer UNION-operatoren resultater fra to spørringer. I matematikk er union en av de grunnleggende mengdeoperasjonene, sammen med skjæringspunkt og komplement. Konseptet er enkelt, men mye brukt.

• Mengde av alle elementene i begge mengder
• Symbol: ∪
• Vanlige elementer oppført én gang
• Brukes i sannsynlighet, databaser og logikk