Esta propiedad es útil precisamente para demostrar compacidad, pues se tiene que existe equivalencia entre ser compacto y ser totalmente acotado y completo.