Definition:Minor (Euclidean)/Whole

Definition

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.