A \Z halmazon az alábbi képlet szerint értelmezett \ominus-szal jelölt kétváltozós műveletet kivonásnak nevezzük:

[(a;b)] \ominus [(c;d)] = [(a;b)] \oplus [(d;c)]

Vagy a hagyományos jelölésekkel:

n - k = n + (-k)

Ez tehát azt jelenti, hogy egy n egész számból egy k egész számot úgy vonunk ki, hogy hozzáadjuk az ellentettjét.