Vad är en Countable Set?
En mängd är räknebar om dess kardinalitet (dvs. antalet element den innehåller) är ett räknebart oändligt antal, d.v.s. ett tal som kan sättas i en en-till-en-överensstämmelse med de naturliga talen. Med andra ord, en mängd är räknebar om den kan räknas upp, eller listas ut, i en ändlig sekvens.
Till exempel är själva mängden naturliga tal räknebar, eftersom vi kan lista dem i en följd: 1, 2, 3 , ... . Mängden heltal är också räknebar, eftersom vi kan lista ut alla jämna heltal, sedan alla udda heltal, och så vidare.
Å andra sidan är mängden reella tal inte räknebar, eftersom det finns oräkneligt många reella tal, och det finns inget sätt att lista dem alla i en ändlig sekvens.



