Sea Y un subespacio abierto de X (o sea que Y es abierto en X).