A vereinigt mit B (oder: Die Vereinigung von A und B) ist die Menge aller Elemente, die in A oder in B enthalten sind. Das „oder“ ist hier nicht-ausschließend zu verstehen.