La compacidad es una propiedad muy importante de los espacios topológicos.