Definition:First-Countable Space

Jump to navigation Jump to search

Definition

A topological space $T = \struct {S, \tau}$ 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.