On Mon, Oct 24, 2005 at 03:42:13AM +0400, Alexey Rusakov wrote:
> >Не понял.  Коммутативность(+) ::= forall(a,b) a+b = b+a
> >Сравнение версий и не может быть коммутативным в этом смысле.
> >То есть речь идёт не о свойстве a<b=b<a, а о свойстве a<b=b>a.
> > 
> Угу, это антикоммутативностью зовётся.

Ещё хуже. :)  Посмотрел по книжке, здесь уместнее всего будет "отношение
порядка", оно должно быть антисимметричным и транзитивным, а также
антирефлексивным (для строгого порядка).  "Дискретная математика для
программистов", стр. 45.  Книжка есть в сети.