Definition:Axiom of Countable Choice