> [!NOTE] Definition > Let $S$ be a [[Sets|set]]. $S$ is *countably infinite* iff there exists a [[Bijection|bijection]] between the [[Natural Numbers|set of natural numbers]] and $S.$