\begin{definition}[Definition:Multiplicative Group of Positive Rational Numbers]
The '''multiplicative group of positive rational numbers''' $\left({\Q_{> 0}, \times}\right)$ is the set of (strictly) positive rational numbers under the operation of multiplication.
\end{definition}