Definition:Subtraction/Ring

Definition
Let $\left({R, +, \circ}\right)$ be a ring.

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

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