Klasse (verzamelingenleer): verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k Bot: Etalage-artikel link voor lmo:Classa (matemàtica) |
Geen bewerkingssamenvatting |
||
Regel 1:
In de [[verzamelingenleer]] en de toepassingen daarvan in de [[wiskunde]] is een '''klasse''' een collectie van verzamelingen (van soms andere [[wiskundig object|wiskundige objecten]]) die niet ambigu kunnen worden gedefinieerd door een eigenschap die alle leden van de [[verzameling (wiskunde)|verzameling]] delen. De precieze definitie van "klasse" hangt af van de context. In werk over de [[Zermelo–Fraenkel verzamelingenleer]], is de notie van een klasse informeel, terwijl in ander verzamelingenleer theorieën, zoals de [[Von Neumann–Bernays–Gödel verzamelingenleer]] de notie van ene "klasse" door [[axioma]]'s wordt onderbouwd.
Elke verzameling is een klasse, maakt niet uit van welke context men uitgaat. Een klasse die geen verzameling is wordt (informeel) een '''echte klasse'''(Engels: '''proper class''') genoemd. Alle [[Ordinaal getal|ordinale getal]]len en de klasse van alle verzamelingen zijn bijvoorbeeld in veel formele systemen echte klasses.
|