Aftelbare verzameling

Een aftelbare verzameling is in de wiskunde een verzameling waarvan de elementen afgeteld kunnen worden. Dat houdt in dat de elementen op een rij gezet kunnen worden met een eerste element, een tweede element, enzovoort, waarbij alle elementen aan de beurt komen. De eenvoudigste aftelbare verzamelingen zijn de eindige verzamelingen.

Een aftelbare verzameling is niet noodzakelijk eindig. Zo zijn ook de gehele getallen aftelbaar. We zetten ze als volgt in een rij om geteld te worden: 0, 1, -1, 2, -2, 3, -3, enz. Het tellen van de elementen stopt weliswaar nooit, maar elk element komt aan de beurt.

Er zijn ook verzamelingen die overaftelbaar zijn, dat wil zeggen niet aftelbaar. Een verzameling is dus eindig, aftelbaar oneindig, of overaftelbaar.