For countable sets, the Axiom of Choice becomes the Theorem of Choice...