[EMAIL PROTECTED] wrote:
Yes... but perhaps instead of the above transform we should just make sure that < is transitive in the first place... so that no matter what if a<b and b<c then a<c. OTOH... perhaps we are working with partially ordered sets (rather than completely ordered sets)? In that case maybe the above suggestion is useful after all.
Partial ordering relations are also transitive by definition.
Of course, you can overload '<' to be something other than ordering relation, but I'd invoke PEBKAC on that. :)
Miro
