เซต S จะเรียกว่า เซตนับได้ ถ้ามีฟังก์ชันหนึ่งต่อหนึ่ง f จาก S ไปยังจำนวนธรรมชาติ N = {0, 1, 2, 3, ...} [4]

ถ้า f เป็นฟังก์ชันทั่วถึง และกลายเป็นฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง (เนื่องจาก f ได้นิยามให้เป็นฟังก์ชันหนึ่งต่อหนึ่งแล้ว) ดังนั้น S จะเรียกว่า เซตอนันต์นับได้

จากนิยามข้างต้นจะเห็นว่าศัพท์คำนี้มีความหมายไม่ครอบคลุม ผู้แต่งตำราบางท่านจึงใช้ศัพท์เซตนับได้อธิบายถึงเซตอนันต์นับได้แทน และไม่รวมเซตจำกัดเข้าไปด้วย