U+W= U vereinigt W <-> U Teilmenge W oder W Teilmenge U
Sei U+W= U ∪ W
Angenommen es wäre weder U Teilmenge W
noch W Teilmenge U dann gäbe es u∈ U mit u∉W
und es gäbe w∈ w mit w∉U #
Aber es ist u+w ∈ U+W= U ∪ W ,
also u+w ∈ U oder u+w ∈ W
Dann wäre aber
w = (u+w) - u ∈ U , als Differenz zweier Elemente von U
oder
u = (u+w) - w ∈ W , als Differenz zweier Elemente von W
Beides im Widerspruch zu #.
Sei umgekehrt : U Teilmenge W oder W Teilmenge U
Dann ist U ∪ W = W oder U ∪ W = U
und entsprechend auch U + W = W oder U + W = U .