Enhver mengde som har den samme kardinaliten som mengden av naturlige tall, sies å være en tellbart uendelig mengde hvis kardinaliteten er mindre enn den for de naturlige tall når den er en endelig mengde, ellers er mengden ikke-tellbar.