| Dacă a, b, c sunt numere întregi nenule, iar | b | și | c | sunt divizori ai lui | a |, atunci au loc simultan relațiile: a = b · c ⇔ b = a : c ⇔ c = a : b. | |
| 0 : a = 0; a : 1 = a; a : (–1) = –a; a : a = 1; a : (– a) = –1, oricare ar fi numărul întreg nenul a. | |
| Împărțirea la 0 nu are sens! | |
| Dacă a > 0, b > 0 și b | a, atunci a : b ∈ ℤ+ și a : b = | a | : | b |. | (+24) : (+3) = 24 : 3 = 8 |
| Dacă a < 0, b < 0 și | b | divide | a |, atunci a : b ∈ ℤ+ și a : b = | a | : | b |. | (–9) : (–3) = |–9| : |–3| = 9 : 3 = 3 |
| Dacă a > 0, b < 0 și | b | divide | a |, atunci a : b ∈ ℤ_ și a : b = – (| a | : | b |). |
(+21) : (–7) = –(| +21 | : | –3 |) =
= –(21 : 3) = –7 |
| Dacă a < 0, b > 0 și | b | divide | a |, atunci a : b ∈ ℤ_ și a : b = – (| a | : | b |). |
(–42) : (+2) = – (|–42| : | +2|) =
= –(42 : 2) = –21. |
| c | 9 : c | –21: c | 9 : c + (–21: c) | 9 + (–21) | [9 + (–21)] : c |
| –3 | –3 | +7 | (–3) + (7) = +4 | -12 | (–12) : (–3) = +4 |
| –1 | –9 | +21 | (–9) + (21) = +12 | -12 | (–12) : (–1) = +12 |
| +1 | +9 | -21 | (+9) + (-21) = -12 | -12 | (–12) : (+1) = -12 |
| +3 | +3 | -7 | (+3) + (-7) = -4 | -12 | (–12) : (+3) = -4 |