(A×C)∪(B×D) ⊂ (A∪B)×(C∪D)
Bew: Sei x aus (A×C)∪(B×D) Dann ist x aus A×C oder aus B×D
also gibt es a aus A und c aus C mit x = ( a ; c )
ODER es gibt b aus B und d aus D mit x = ( b ; d).
Also unterschieden wir zwei Fälle
1. Fall: es gibt a aus A und c aus C mit x = ( a ; c )
da a aus A also auch aus A∪B und c aus C also auch aus C∪D
ist ( a ; c ) aus (A∪B)×(C∪D) also
x aus (A∪B)×(C∪D).
2. Fall so ähnlich.
Gegenbeispiel für Gleichheit
A= C = {1;2} B= D = {2;3}
Dann ist z.B. (1;3) in (A∪B)×(C∪D)
aber weder in AxC noch in BxD