# Category:Definitions/Countable Sets

$S$ is countable if and only if there exists an injection:
$f: S \to \N$