\begin{definition}[Definition:Incommensurable in Square]
Let $a, b \in \R_{>0}$ be (strictly) positive real numbers.
Then $a$ and $b$ are '''incommensurable in square''' {{iff}} $\paren {\dfrac a b}^2$ is irrational.
{{EuclidSaid}}
:''{{Definition:Euclid's Definitions - Book X/2 - Commensurable in Square}}''
{{EuclidDefRefNocat|X|2|Commensurable in Square}}
\end{definition}