Strictly Positive Real Numbers are Closed under Division

Theorem
The set $\R_{>0}$ of strictly positive real numbers is closed under division:
 * $\forall a, b \in \R_{>0}: a \div b \in \R_{>0}$

Proof
From the definition of division:
 * $a \div b := a \times \left({\dfrac 1 b}\right)$

where $\dfrac 1 b$ is the inverse for real number multiplication.

From Positive Real Numbers under Multiplication form Abelian Group, the algebraic structure $\left({\R_{>0}, \times}\right)$ forms a group.

Thus it follows that:
 * $\forall a, b \in \R_{>0}: a \times \left({\dfrac 1 b}\right) \in \R$

Therefore real number division is closed in $\R_{>0}$.