Hva er et tellbart sett?
Et sett kan telles hvis kardinaliteten (dvs. antall elementer den inneholder) er et tellbart uendelig antall, det vil si et tall som kan settes inn i en en-til-en korrespondanse med de naturlige tallene. Med andre ord er en mengde tellbar hvis den kan telles, eller listes ut, i en endelig rekkefølge.
For eksempel er settet med naturlige tall i seg selv tellbart, fordi vi kan liste dem ut i en rekkefølge: 1, 2, 3 , ... . Settet med heltall er også tellbart, fordi vi kan liste opp alle partallene, deretter alle de oddetallene, og så videre.
På den annen side kan ikke settet med reelle tall telles, fordi det er utallig mange reelle tall, og det er ingen måte å liste dem opp i en endelig rekkefølge.



