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