Definition:Subtraction/Field

From ProofWiki
Jump to navigation Jump to search

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$.


Sources