Stim ca daca A U B = A ⇒ A este inclusa in B
Stim ca Φ (multimea vida.) este inclusa in orice multime M.
Dar trebuie sa demonstram asta.
Vom demonstra prin reducere la absurd:
Presupunem ca Φ nu este inclusa in M
Dar M U Φ = M
=> Φ este inclusa in M
Contradictie
Conradictia a aparut deoarece am presupus ca Φ nu este inclusa.
=> presupunerea a fost falsa.
=> Φ este inclusa in M.
