Definition 1.6 A space X is said to have a countable basis at point x if
there is a countable collection {Un}n ∈ Z+ of neighborhoods of x such that any
neighborhood U of x contains at least one of the set Un. A space X that has
a countable basis at each of its points is said to satisfy the first countability
axiom.