14.11. Definíció

Egész számok kivonása

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

[(a; b)] ⊖ [(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 $⊖$ 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.

♣

Iratkozz fel a hírlevelünkre