Positive Rational Numbers under Addition form Ordered Semigroup

Theorem
Let $\Q_{\ge 0}$ denote the set of positive rational numbers.

The algebraic structure:
 * $\struct {\Q_{\ge 0}, +, \le}$

forms an ordered semigroup.