is less than or equal to (aleph-null), the cardinality of the set of natural numbers .
* There exists an injective function from to .
* is empty or there exists a surjective function from to .
* There exists a bijective mapping between and a subset of .
* is either finite () or countably