Talk:Trichotomy Law (Ordering)

Hi. Should the $\lor$ signs in the 3rd line of the theorem section be $\oplus$?


 * I think so, yes. --Lord_Farin 14:38, 16 August 2012 (UTC)


 * I was under the impression that $\lor$ is the main theorem, i.e. the trichotomy law, and that $\oplus$ is a related theorem that builds off it. --GFauxPas 14:45, 16 August 2012 (UTC)


 * Such does not conform to the definition of trichotomy (with $\lor$, also $\preceq$ will satisfy the condition). --Lord_Farin 14:55, 16 August 2012 (UTC)