que hay abiertos que separan dos subconjuntos A y B, cuando haya abiertos