# Definition:Subtraction/Real Numbers

(Redirected from Definition:Real Subtraction)

## Definition

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

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

$\forall a, b \in \R: a - b := a + \paren {-b}$

where $-b$ is the negative of $b$ in $\R$.