Если натуральное число b непосредственно следует за натуральным числом а, то число а называют непосредственно предшествующим (или предшествующим) числу b.
Если есть последовательность а, b… 10, то а´=b.
Свойства отношения:
Теорема 1. Единица не имеет предшествующего натурального числа (исинность теоремы вытекает из А1 + А3).
Теорема 2. Каждое натуральное число а, отличное от 1, имеет предшествующее число b, такое, что b´=а. (А3)
Теорема 3. Всякое натуральное число х отлично от непосредственно следующего за ним числа а.