second-countable space

Also known as completely separable space, second axiom of countability

topological space whose topology admits a countable base