Rational Division is Closed

Theorem
The set of rational numbers less zero is closed under division:
 * $\forall a, b \in \Q_{\ne 0}: a / b \in \Q_{\ne 0}$

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

where $b^{-1}$ is the inverse for rational multiplication.

From Non-Zero Rational Numbers under Multiplication form Abelian Group, the algebraic structure $\left({\Q_{\ne 0}, \times}\right)$ is a group.

From group axiom $G3$ it follows that every $b \in \Q_{\ne 0}$ has an inverse element $b^{-1} \in \Q$ under multiplication.

From group axiom $G0$ it follows that $\Q_{\ne 0}$ is closed under multiplication.

Hence the result:
 * $\forall a, b \in \Q_{\ne 0}: a / b \in \Q_{\ne 0}$