Talk:Strictly Precedes is Strict Ordering

I changed the statement defining $\prec$ as it wasn't uniquely specifying $\prec$. Furthermore I feel that the structure of the proof could be improved. As of now I find it unclear what each statement is about. Suggestion: Use 'triple-equals' headers. --Lord_Farin 18:31, 20 January 2012 (EST)
 * Good call - I wasn't happy about this page when I initially posted it. I'm just now revisiting all my order theory stuff and you're right, it could do with a rewrite. --prime mover 19:10, 20 January 2012 (EST)