a) Un număr natural b, b diferit de 0 este divizor al unui număr natural a, dacă b | a.
b) Dacă b | a, spunem că b este un divizor al lui a sau a este un multiplu al lui b.
c) Oricare ar fi a, b, c, numerele naturale, dacă a | b si b | c, atunci a | c.
d) Oricare ar fi a și b numere naturale, dacă a | b si b | a, atunci a = b.
e) Oricare ar fi a, b, c numere naturale, dacă a | b și a | c, atunci a | (x·b ± y·c), ∀x, y ∈ ℕ.