⇒
Wir behaupten dass A ⊆ B. Dann wollen wir zeigen dass A ∪ B = B. Um das zu zeigen, wollen wir folgendes beweisen:
- wenn x ∈ A ∪ B dann x ∈ B.
- wenn x ∈ B dann x ∈ A ∪ B.
⇐
Wir behaputen dass A ∪ B = B. Dann wollen wir zeigen dass A ⊆ B. Um das zu zeigen, wollen wir beweisen dass wenn x ∈ A dann x ∈ B.