Integer Subtraction is Closed

Theorem
The set of integers is closed under subtraction:
 * $\forall a, b \in \Z: a - b \in \Z$

Proof
From the definition of subtraction:
 * $a - b := a + \left({-b}\right)$

where $-b$ is the inverse for integer addition.

From Integers under Addition form Abelian Group, the algebraic structure $\left({\Z, +}\right)$ is a group.

Thus:
 * $\forall a, b \in \Z: a + \left({-b}\right) \in \Z$

Therefore integer subtraction is closed.