# 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$