Definition:Subtraction/Ring

Definition
Let $\struct {R, +, \circ}$ be a ring.

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

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