# Definition:Subtraction/Rational Numbers

Let $\struct {\Q, +, \times}$ be the field of rational numbers.
The operation of subtraction is defined on $\Q$ as:
$\forall a, b \in \Q: a - b := a + \paren {-b}$
where $-b$ is the negative of $b$ in $\Q$.