que un conjunto ees compacto.