Definition:Division/Real Numbers

Definition
Let $\struct {\R, +, \times}$ be the field of real numbers.

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


 * $\forall a, b \in \R \setminus \set 0: a / b := a \times b^{-1}$

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