Изменения
→Операции сравнения
<tex> le(x,y) = 1 </tex> если <tex> x \le y </tex>, иначе <tex> lq(x,y) = 0 </tex>
<tex> lower(x,y) = 1 </tex> если <tex> x < y </tex>, иначе <tex> lower(x,y) = 0 </tex>
Сначала выразим <tex> eq_{0}(x) = eq(x,0) </tex>