Considerăm două numere naturale a şi b. Spunem că a divide b şi scriem dacă există un număr natural c astfel încât ♙În acest caz, a se numeşte divizor al lui b. Este evident că orice număr are cel puţin doi divizori: pe 1 şi pe el însuşi. Prin divizor propriu al lui n înţelegem un divizor diferit de numărul n, iar prin divizor netrivial al lui n, un divizor diferit de 1 şi n. Relaţia | definită pe este o relaţie de divizibilitate pe Se arată uşor că aceasta este o relaţie de ordine pe
Orice număr natural, mai mare decât 1, are un divizor prim
