Αριθμήσιμο

Ένα σύνολο Α που είναι ισοδύναμο με το σύνολο των φυσικών αριθμών Ν ονομάζεται αριθμήσιμο. Ένα σύνολο Α που είναι είτε πεπερασμένο είτε αριθμήσιμο ονομάζεται το πολύ αριθμήσιμο. Ένα σύνολο Α που δεν είναι ισοδύναμο με το σύνολο των φυσικών αριθμών Ν ονομάζεται υπεραριθμήσιμο. Κάθε υποσύνολο ενός αριθμήσιμου συνόλου είναι το πολύ αριθμήσιμο.