Sejam n, d e q números inteiros, com d diferente de zero (d 0). Dizemos que d é divisor de n (ou que d divide n, ou ainda que n é divisível por d) se existir um q tal que (note que isto é o mesmo que escrever )