A topological space $(X,\tau)$ satisfies the first axiom of countability if the neighborhood system of every point $x\in X$ has a countable local base. A space that satisfies the first axiom of countability is said to be first-countable.