Definition:Countably Infinite/Class

Definition
Let $A$ be a class.

$A$ is countably infinite there exists a bijection:
 * $f: S \to \N$

where $\N$ is the set of natural numbers.

Also see

 * Definition:Finite Class
 * Definition:Uncountable Class