(B1 \ B2) ∩ (B1 \ B3) = B1 \ (B2 ∪ B3)
Sei x∈(B1 \ B2) ∩ (B1 \ B3)
<=> ( x∈B1 ∧ x∉B2) ∧ ( x∈B1 ∧ x∉B3)
Assoziativität und Kommutativität von ∧ gibt
<=> ( x∈B1 ∧ (x∉B2 ∧ x∉B3)
<=> ( x∈B1 ∧ (x∉B2 ∧ x∉B3)
<=> ( x∈B1 ∧ x∉ (B2 ∪B3)
<=> x∈ B1 \ (B2 ∪ B3) q.e.d.
So ähnlich auch die andere .