The first iteration of the induction rule produces the three numeric forms { | 0 } < { | } < { 0 | } (the form { 0 | 0 } is non-numeric because 0≤0).
Первая итерация правила индукции дает три числовые формы {| 0} < {| } < {0 | } (Форма {0 | 0} не является числовой, потому что 0≤0).