Ambos subconjuntos son conjuntos abiertos que son disjuntos entre si; y serán las partes topológicas del espacio.