first-countable space
topological space in which every point admits a countable neighborhood basis
long line
locally Euclidean topological space that is not paracompact
second-countable space
topological space whose topology admits a countable base
topological space in which every point admits a countable neighborhood basis