Seja o subconjunto de cujos elementos são todas as soluções de . Podemos afirmar que é um subconjunto de