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