# Real Function/Examples/Square Root

The (real) square root function is the real function $f: \R \to \R$ defined on the positive real numbers as:
$\forall x \in \R_{\ge 0}: \map f x = \sqrt x$