O conjunto de todos os valores de que satisfazem ao sistema é