es compacto, ssi, para todo familia de abiertos (en X) que cubren Y , hay una