resolve sqrt(x) = y para x
Vamos resolver em ℝ: x = y
Isolamos a raiz: x = y. Por convenção, a raiz quadrada é sempre positiva ou nula; elevamos ambos os membros ao quadrado, desde que y ≥ 0:
Candidatos, sujeitos ao domínio: x = y2
Vamos resolver para y: y ≥ 0
Candidatos, sujeitos ao domínio: y ≥ 0
Para que a expressão x esteja definida, é necessário: x ≥ 0
Restrições do domínio: x ≥ 0
▶Solução:   { x = y2 ; y ≥ 0 }