El algoritmo termina cuando no se pueden encontrar más ampliaciones exitosas de los conjuntos previos.