Na divisão de números naturais, sabemos que ao dividir x(dividendo) por y # 0(divisor) devemos encontrar um quociente q = ⌊ x/y ⌋ (maior número inteiro que é menor ou igual a x/y) 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 . ⌊x/y⌋.
De acordo com essa definição, o valor de (5/2,1/7) é