Union (mengdelære)

Innenfor matematikken er unionen (eller foreningsmengden) mellom to mengder A og B, mengden av alle elementer som ligger i A, B eller både A og B.

Unionen mellom A og B skrives A ∪ B. For alle A gjelder at A ∪ Ø = A og at A ∪ A = A.

Eksempler

{A, B, C, D} ∪ {C, D, E} = {A, B, C, D, E}
{x | x er et partall} ∪ {x | x er et oddetall} = {x | x er et heltall}
{x | x er et menneske} ∪ {x | x er norsk statsborger} = {x | x er et menneske} (alle elementene i den andre mengden er inneholdt i den første).