\begin{definition}[Definition:Minor (Euclidean)/Whole]
Let $a, b \in \R_{>0}$ be (strictly) positive real numbers such that $a > b$.
Let $a - b$ be a minor.
The real number $a$ is called the '''whole''' of the minor.
Category:Definitions/Euclidean Number Theory
\end{definition}