Definition:Division/Rational Numbers

Definition
Let $\left({\Q, +, \times}\right)$ be the field of rational numbers.

The operation of division is defined on $\Q$ as:


 * $\forall a, b \in \Q \setminus \left\{{0}\right\}: a / b := a \times b^{-1}$

where $b^{-1}$ is the multiplicative inverse of $b$ in $\Q$.