Is there a conventional name for the set of rationals closed under taking square roots? It's not ℝ because it doesn't include the transcendentals, and it doesn't include things like ∛2.