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)

This discussion is old, but there is still inconsistency between the definition of trichotomy and and the trichotomy law, without explanation of how to properly invoke these strict and weak forms. --Dfeuer (talk) 08:48, 31 January 2013 (UTC)