solve sqrt(x) = y for x
Let's solve in ℝ: x = y
Isolate the square root: x = y. Since the square root is nonnegative, square both sides, provided that y ≥ 0:
Candidates, pending the domain check: x = y2
Solving for y: y ≥ 0
Candidates, pending the domain check: y ≥ 0
For the expression x to be defined, we must have: x ≥ 0
Domain constraints: x ≥ 0
▶Solution:   { x = y2, y ≥ 0 }