Proposición 29

Enunciado

Sea $Y\subset X$ un subespacio topológico. $Y$ es compacto si, y sólo si, todo cubrimiento de $Y$ por abiertos de $X$ admite un subcubrimiento finito.