Az oszthatóság fogalmát a természetes számok halmazán értelmezzük.

I.

Egy a szám osztható egy b számmal, (a és b természetes számok) ha a b szám egészszer és maradék nélkül megvan az a számban. Ekkor a b szám osztója az a számnak, az a szám pedig többszöröse a b számnak.

II.

Egy a szám osztható egy b számmal, (a és b természetes számok, és b ¹ 0) ha a

b * x = a

egyenlet megoldható a természetes számok halmazán.

Vagyis, ha az

x =

természetes szám.