Definition:Enumeration/Countably Infinite

Definition
Let $X$ be a countably infinite set.

An enumeration of $X$ is a bijection $x: \N \to X$.