Sea (R,T) donde T es la topología discreta. Entonces R satisface el primer axioma, pero no el segundo, pues si B es base de T, B debe contener también {p}, para todo \( p \in{R} \).
Como {p} es abierto y todo abierto debe contener un abierto básico. Pero R no es enumerable, entonces B no es enumerable.