Na divisão de números naturais, sabemos que ao dividir x (dividendo) por y ≠ 0 (divisor) devemos encontrar um quociente q = ⌊xy ⌋ (maior número inteiro que é menor ou igual a xy ) e um resto r < y satisfazendo a igualdade: x = y · q + r.

Assim, podemos escrever que o resto da divisão do natural x pelo natural y ≠ 0 é dado por: r = x − y · q.

Com a intenção de trabalhar a capacidade de abstração de seus alunos, Solange definiu para eles o resto da divisão do número racional x pelo número racional y ≠ 0 como sendo:

resto(x,y) = x − y · ⌊xy ⌋.

De acordo com essa definição, o valor de resto(52 , 17 ) é