También se puede enunciar en términos de conjuntos compactos.