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 é: