Nuestrp punto de partida será las propiedades de abiertos contenidas en la proposición 5.2.2.