Un espacio topológico se dice que cumple el Segundo Axioma de Numerabilidad (IIAN) si existe alguna base de su topología que tenga cardinalidad numerable.