Square root ($\sqrt{x}$)

A square root of an element $x$ is an element $y$ such that $y^2=x$. The notation $\sqrt{x}$ denotes the nonnegative square root when $x$ is a nonnegative real number.