Lindelöf theorem

If a topological space $(X,\tau )$ satisfies the second axiom of countability, and if $A$ is any subset of $X$, then any open cover for $A$ has a countable subcover.

In particular, we have that $(X,\tau )$ is a Lindelöf space (http://planetmath.org/lindelofspace).