first countable topological space

first countable topological space

[¦fərst ′kau̇nt·ə·bəl ‚täp·ə¦läj·ə·kəl ′spās] (mathematics) A topological space in which every point has a countable number of open neighborhoods so that any neighborhood of this point contains one of these.