A D18: Map $x : J \to X$ is countable if and only if $J$ is a D16: Countable set.