Az oszthatóság kérdését teljes általánosságban Pascal francia matematikus vizsgálta. Definíció: Az „a„, „b” természetes számok esetén az „a” számot „b” osztójának nevezzük, ha van olyan „q” természetes szám, hogy fennáll a b=a⋅q egyenlőség. Ekkor azt mondjuk, hogy „b” osztható „a„-val. Jelölés: a|b, ha b=a⋅q, és a,b,q ∈ ℕ-nek. Például: 9|63,Tovább