“…Supongamos ahora que (X, ⌧ ) es un espacio DN C denso en sí y D es un subespacio denso en X submaximal testigo de este hecho. Por el Corolario 2.5, sabemos que todo subconjunto infinito de un espacio submaximal denso en sí contiene un subconjunto infinito cerrado y discreto, por lo tanto si A ⇢ D es infinito, entonces A debe tener un punto de acumulación en X \ D. Reformulamos esto en el siguiente hecho: Teorema 2.9 ( [27]). Supongamos que (X, ⌧ ) es un espacio densamente numerablemente compacto denso en sí y D un subconjunto abierto denso submaximal de X testigo de este hecho.…”