The equivalence class containing { 0 | } is labeled 1 and the equivalence class containing { | 0 } is labeled −1.
Класс эквивалентности, содержащий {0 | } Обозначается 1, а класс эквивалентности, содержащий {| 0} обозначается -1.