Muốn trừ số nguyên a cho số nguyên b ta cộng a với số đối của b. Kết quả tìm được gọi là hiệu của a và b.
Như vậy a – b = a + (-b).
Lưu ý: Nếu x = a – b thì x + b = a.
Ngược lại nếu x + b = a thì x = a – b.
Thật vậy, nếu x = a – b thì a = a + [(-b) + b] = [a + (-b)] + b = (a – b) + b = x + b. Ngược lại, nếu x + b = a thì x = x + [b + (-b)] = (x + b) + (-b) = a + (-b) = a – b.
Nhận xét: Trong N phép trừ a cho b chỉ thực hiện được khi a ≥ b.
Nhưng trong Z phép trừ a cho b luôn luôn thực hiện được.