Oricare ar fi numărul natural a, atunci a | a, unde a este diferit de zero.
Oricare ar fi numărul natural a, atunci a | 0, unde a diferit de zero şi 1 | a.
Oricare ar fi numerele naturale a şi b, atunci a | a•b şi b | a•b (produsul a 2 numere naturale este divizibil cu fiecare factor al produsului), unde a şi b diferite de zero.
Oricare ar fi numerele naturale a, b, c, dacă a | b şi b | c, atunci a | c, unde a şi b diferite de zero.
Oricare ar fi numerele naturale a, b, c, dacă a | b şi a | c, atunci a | (b±c), unde a diferit de zero.
Oricare ar fi numerele naturale a, b, c, dacă a | b, atunci a|c•b, unde a diferit de zero.
