Una equivalencia importante es que X es formula_9 si y solo si los subconjuntos de X formados por un único punto son cerrados.