Изменения
→Операции сравнения
<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>
<tex> le(x,y) = eq_0(sub(x,y)) </tex>
<tex> lower(x,y) = mul(le(x,y),sub(1^2(x,y),eq_0(sub(x,y))) </tex>
<tex> eq(x,y) = mul(le(x,y),le(y,x)) </tex>
