Positive Rational Numbers under Addition form Ordered Semigroup

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

Consider the algebraic structure:
 * $S := \struct {\Q_{\ge 0}, +, \le}$

$S$ forms an ordered semigroup.