Se dice que un espacio topológico cumple el Primer Axioma de Numerabilidad (IAN) si cada punto del espacio tiene alguna base local de cardinal numerable.