Primer axioma de numerabilidad

En Topología, se dice que un espacio topológico $(X,T)$ cumple el primer axioma de numerabilidad si cada punto del espacio tiene una base de entornos numerable.

Todo espacio métrico cumple el primer axioma de numerabilidad, pues las bolas abiertas $B_n=B(x,1/n)$ forman una base de vecindades para el punto $x \in X$. Todo espacio que cumpla el segundo axioma de numerabilidad cumple automáticamente el primero.

Estos espacios son de importancia porque permiten controlar mejor las vecindades. Por ejemplo, en cualquier espacio que cumpla el primer axioma de numerabilidad, se tiene que compacto implica secuencialmente compacto, así como también la continuidad queda absolutamente caracterizada por las sucesiones (lo cual, en general, no es cierto).