Tendo em consideração somente o conjunto dos números naturais e que o sucessor de um número natural
x é justamente x, acrescido de 1, enquanto o antecessor de x é justamente subtraindo 1 de x. Diante disso
observe a seguinte situação: a diferença entre um número y e o sucessor de 13, é igual a 59, então o valor do
antecessor de y é: