Föreningsmängden, betecknad med symbolen $\cup$, är en mängd som innehåller alla element som tillhör minst en av de ingående mängderna. Om vi har mängderna A och B, består föreningsmängden $A \cup B$ av alla element $x$ sådana att $x$ tillhör A eller $x$ tillhör B (eller båda). Det är alltså sammans.