Definition:First-Countable Space

From ProofWiki
Jump to: navigation, search

Definition

A topological space $T = \left({S, \tau}\right)$ is first-countable or satisfies the First Axiom of Countability if and only if every point in $S$ has a countable local basis.


Also see

  • Results about first-countable spaces can be found here.


Sources