Second axiom of countability