Positive Real Numbers not Closed under Subtraction

Theorem

The set $\R_{>0}$ of strictly positive real numbers is not closed under subtraction.

Proof

Let $a = 1$ and $b = 2$.

Then:

$a - b = -1$

but $-1$ is not a (strictly) positive real number.

$\blacksquare$