Definition:Square Root/Positive

Definition
Let $x \in \R_{> 0}$ be a (strictly) positive real number.

The positive square root of $x$ is the number defined and denoted as:
 * $\sqrt x := y \in \R_{>0}: y^2 = x$

Also see

 * Definition:Negative Square Root