O conjunto de todas as soluções do sistema