Klasse (Mengenlehre)

Als Klasse $\{x\mid A(x)\}$ oder $\{x:A(x)\}$ wird in der Mengenlehre die Zusammenfassung beliebiger Objekte $x$ bezeichnet, die durch eine allen gemeinsame logische Aussage $A(x)$ definiert werden. Während in der naiven Mengenlehre des 19. Jahrhunderts die Begriffe „Klasse“ und «Menge» weitgehend gleichbedeutend waren, werden sie heute in der axiomatischen Mengenlehre voneinander unterschieden. Die Klasse ist dabei der umfassendere und abstraktere Begriff, der auch die Mengen mit einschließt. Jede Menge ist daher auch eine Klasse, aber umgekehrt nicht jede Klasse eine Menge. Klassen, die keine Mengen sind, werden als echte Klassen oder eigentliche Klassen bezeichnet. Echte Klassen sind z.B. die Klasse aller Ordinalzahlen oder die Klasse aller Kardinalzahlen.

Siehe auch

• Klasse (Mengenlehre) - Artikel in der deutschen Wikipedia