Definition:Square Root/Negative

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

The negative square root of $x$ is the number defined as:
 * $- \sqrt x := y \in \R_{<0}: y^2 = x$

Also see

 * Definition:Positive Square Root