A topological space X is said to be a 2nd-countable space if it has a countable basis for its topology.