Wat is een telbare set?

Een verzameling is telbaar als de kardinaliteit ervan (dat wil zeggen het aantal elementen dat het bevat) een telbaar oneindig getal is, dat wil zeggen een getal dat in een één-op-één-correlatie met de natuurlijke getallen kan worden geplaatst. Met andere woorden, een verzameling is telbaar als deze in een eindige reeks kan worden opgesomd of opgesomd. De verzameling natuurlijke getallen zelf is bijvoorbeeld telbaar, omdat we ze in een reeks kunnen opsommen: 1, 2, 3 , ... . De reeks gehele getallen is ook telbaar, omdat we alle even gehele getallen kunnen opsommen, vervolgens alle oneven gehele getallen, enzovoort. Aan de andere kant is de reeks reële getallen niet telbaar, omdat er ontelbaar veel reële getallen zijn. en er is geen manier om ze allemaal in een eindige volgorde op te sommen.