Countably infinite set (source code)

= Countably infinite set

A countably infinite set admits a <bijection> with the <natural numbers>.