Let $y \in \mathbb{R}$ be a D993: Real number.
A D993: Real number $x \in \mathbb{R}$ is a square root for $y$ if and only if \begin{equation} y = x^2 \end{equation}