Definition
Aleph-Null
Aleph-null, written
, is the cardinality of the natural numbers and the smallest infinite cardinality: Thus
has cardinality exactly when it is countably infinite: its elements can be listed as , with each element appearing exactly once. It is the first of the aleph numbers.
Equality and Upper Bound
The last condition means at most countable; it does not require