Compacidad es una propiedad topológica.