subcubierta finita de G que cubre a X, independiente del tamaño del conjunto de