RE: Theoretical view of order

> 
> Most of this is fine, but I can't figure if this is meant to apply to 
> relations like '<' or '<='.
> 
> E.g.
> If R is '<' then totality doesn't apply for x R x.
> If R is '<=' then anti-symmetry doesn't apply for x R x.
> 
> Or maybe you meant to say that the x R y relations apply only 
> for x != y?

Good point! I completely overlooked this. I reckon that what I meant is
that x R y apply only for x != y, in which case "totality" is qualified.
My apologies to one and all for confusions caused by this oversight...



-- Ziv