Todo número natural, a excepción del 1, lo antecede siempre un número natural más pequeño, al que denominaremos antecesor.