Αριθμήσιμο

Πρότυπο:Πηγές Στην θεωρία συνόλων, ένα σύνολο $A$ που είναι σε ένα προς ένα αντιστοιχία με το σύνολο των φυσικών αριθμών $\mathbb{N}$ ονομάζεται αριθμήσιμο. Ένα σύνολο $A$ που είναι είτε πεπερασμένο είτε αριθμήσιμο ονομάζεται το πολύ αριθμήσιμο. Ένα σύνολο $A$ που δεν είναι το πολύ αριθμήσιμο ονομάζεται υπεραριθμήσιμο. Κάθε υποσύνολο ενός αριθμήσιμου συνόλου είναι το πολύ αριθμήσιμο.