Conjunto-solução de uma condição