Kardinaliteit: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Regel 37:
 
== Oneindige verzameling ==
Een [[oneindige verzameling]] heeft altijd een hogere kardinaliteit dan een eindige (dat wil zeggen, we kunnen elk element van de [[eindige verzameling]] op één element van de oneindige verzameling afbeelden, maar omgekeerd kan dat niet). De laagste oneindige kardinaliteit is die van de [[natuurlijk getal|natuurlijke getallen]]; deze kardinaliteit wordt <math>\scriptstyle{\aleph_0}</math> (alef-nul) genoemd. Verzamelingen met deze kardinaliteit heten [[aftelbaar oneindig|aftelbaar]] oneindig. Het [[diagonaalbewijs van Cantor]] toont aan dat er ook hogere kardinaliteiten bestaan; deze worden ook met een [[alef-getal]] aangegeven: <math>\scriptstyle{\aleph_0,\, \aleph_1,\, \aleph_2,\, \ldots,\, \aleph_\omega,\, \ldots}</math>.
 
=== Kardinaliteit van het continuüm ===