\begin{definition}[Definition:Cube Root/Real]
Let $x \in \R_{\ge 0}$ be a positive real number.
The '''cube roots of $x$''' is the real number defined as:
:$x^{\paren {1 / 3} } := \set {y \in \R: y^3 = x}$
where $x^{\paren {1 / 3} }$ is the $3$rd root of $x$.
The notation:
:$y = \sqrt [3] x$
is usually encountered.
\end{definition}