Alexey Tourbin wrote: >Не понял. Коммутативность(+) ::= forall(a,b) a+b = b+a >Сравнение версий и не может быть коммутативным в этом смысле. >То есть речь идёт не о свойстве a<b=b<a, а о свойстве a<b=b>a. > > Угу, это антикоммутативностью зовётся. -- Alexey "Ktirf" Rusakov