On Mon, Dec 18, 2006 at 12:39:28PM +0200, Led wrote:
> > А в случае с одной только операцией "<" такой ляпоты не получается,
> > потому что не удается логически вывести равенство.
> 
> (==)(a,b) := !(a<b)&&!(b<a)
> 
> ?

Да.  Я уже исправился и предложил вариант
(a==b) := !((a<b)||(b<a))

который по закону Де Моргана или как его там эквиваленен вашему.