Definition 2.8.7.  Let R be a ring, a, b ∈ R. We define:
a − b := a + (−b)