Image of Real Square Root Function

Theorem
The image of the real square root function is the entire set of positive real numbers $\R_{\ge 0}$:
 * $\set{x \in \R: x \ge 0}$