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