|
|
In article <wj%Hg.10551$Qf.4121@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
Patricia Shanahan <pats@xxxxxxx> wrote:
>Shouldn't a partial order be reflexive? {<x,x>|x in X} is reflexive, the
>empty set isn't.
Oh, I see the confusion now. I was thinking of axioms for < rather than <=.
I guess it should have been obvious just by looking at {<x,x>|x in X} that
Rupert was thinking of <=. Sorry.
--
Tim Chow tchow-at-alum-dot-mit-dot-edu
The range of our projectiles---even ... the artillery---however great, will
never exceed four of those miles of which as many thousand separate us from
the center of the earth. ---Galileo, Dialogues Concerning Two New Sciences
|
|