On Sun, Dec 17, 2006 at 08:05:06PM +0300, Hihin Ruslan wrote:
>  > > (>=)(a,b) := !(b<=a)
> Это явно неправильно
>  (>=)(a,b) := !(b<a)

Да.  Но операция "<" ещё не определена.  Суть в том чтобы
последовательно определять операции через предыдующие введенные
операции.  Я уже исправился.

В остальном вы, наверное, правы.