Kardinaliteit: verschil tussen versies

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>{}_{}^{\aleph_0}</math> (alefallef-nul) genoemd. Verzamelingen met deze kardinaliteit heten [[oneindig|aftelbaar]] oneindig. Het [[diagonaalbewijs van Cantor]] toont aan dat er ook hogere kardinaliteiten bestaan; deze worden ook met een [[alefallef]] aangegeven: <math>{}_{}^{\aleph_0}</math>, <math>{}_{}^{\aleph_1}</math>, <math>{}_{}^{\aleph_2}</math>, ..., <math>{}_{}^{\aleph_\omega}</math>, ...