Man sagt, dass eine Menge unendlich groß ist, wenn sie gleichmächtig zu einer ihrer echten Teilmengen st. Eine Menge, die gleichmächtig zur Menge der natürlichen Zahlen ist, nennt man auch abzählbar. Das bedeutet, dass die natürlichen Zahlen ausreichen, um jedes Element der Menge zu nummerieren.