Αριθμήσιμο

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