„Szerkesztő:Gubbubu/Halmazelmélet/Konnekció, operáció” változatai közötti eltérés

Belátható, hogy (legalábbis [[a regularitási axióma|reguláris]] halmazelméletekben) ez pl. nem halmaz, hanem valódi osztály <ref>A bizonyításhoz azonban szükséges [[a regularitási axióma erős alakja]] is, amit még nem mondtunk ki. Ha E halmaz lenne, azaz eleme lenne <big>''U''</big>-nak, akkor tetszőleges <X,Y> elemére, a P := <<X,Y>,E> = <nowiki>{{</nowiki><X,Y>},{<X,Y>,E<nowiki>}}</nowiki> pár eleme lenne E-nek. Sőt, a <P,E> pár is eleme E-nek stb. Ezzel egy "végtelen leszálló halmazsorozatot" kaptunk, de belátható, hogy egy reguláris halmazelméletben ilyesmi nem lehetséges.</ref>. Vagy legyen pl. ennek részosztálya,