Definition:Subtraction/Field

Definition
Let $\struct {F, +, \times}$ be a field.

The operation of subtraction $a - b$ on $F$ is defined as:
 * $\forall a, b \in R: a - b := a + \paren {-b}$

where $-b$ is the (field) negative of $b$.