14.11. Definíció
Egész számok kivonása
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 -[(c;d)] = [(a;b)] \oplus [(d;c)]
A fentiekben \oplus a 13.13. Definíció szerinti összeadást, -[(x;y)] pedig az [(x;y)] egész szám ellentettjét jelöli a \oplus műveletre nézve.
Hagyományos jelölésekkel, műveleti jelként \ominus helyett a megszokott - szimbólumot használva ezt is írhatjuk:
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.
♣