A, B abzählbar heißt : Es gibt bijektive Abb.en
f: A ---> IN und g: B → IN
betrachte dann h : A ∪ B ----> IN mit h(x) = 2*f(x) , falls x ∈ A\B
und h(x) = 2*g(x)+1 falls x ∈ B
ist dann eine Injektive Abb von A ∪ B auf eine Teilmenge von IN, also
ist A ∪ B auch abzählbar.