„Szerkesztő:Gubbubu/Halmazelmélet/Az üres osztály” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
69. sor:
Bizonyítás: Ha x <big>''M''</big>-beli individuum, és egyed, akkor kész vagyunk; ha meg nem egyed, akkor osztály, és mivel nincs eleme, az üres osztály egyértelműsége miatt, épp az üres halmaz. Mivel más lehetőség nincs, Q.E.D.
Az [[Halmazelmélet/Unió|unió]] és [[Halmazelmélet/Párok|pár]] fogalmára hivatkozással ezt úgy lehet formálisan mondani, hogy
<center><big>''M''</big> = <big>''E''</big>∪{∅}.</center>
| |||