A second iteration of the construction rule yields the following ordering of equivalence classes: { | −1 } = { | −1, 0 } = { | −1, 1 } = { | −1, 0, 1 } < { | 0 } = { | 0, 1 } < { −1 | 0 } = { −1 | 0, 1 } < { | } = { −1 | } = { | 1 } = { −1 | 1 } < { 0 | 1 } = { −1, 0 | 1 } < { 0 | } = { −1, 0 | } < { 1 | } = { 0, 1 | } = { −1, 1 | } = { −1, 0, 1 | } Comparison of these equivalence classes is consistent, irrespective of the choice of form.
Вторая итерация правила построения дает следующий порядок классов эквивалентности: { | −1 } = { | −1, 0 } = { | −1, 1 } = { | −1, 0, 1 } < { | 0 } = { | 0, 1 } < { −1 | 0 } = { −1 | 0, 1 } < { | } = { −1 | } = { | 1 } = { −1 | 1 } < { 0 | 1 } = { −1, 0 | 1 } < { 0 | } = { −1, 0 | } < { 1 | } = { 0, 1 | } = { −1, 1 | } = { −1, 0, 1 | } Сравнение этих классов эквивалентности согласуется, независимо от выбора формы.