User:Dfeuer/thought
$\href {http://proofwiki.org/wiki/Up-Set/Element}{ {\uparrow} }a$
$\href {http://proofwiki.org/wiki/Upper Closure}{ {\uparrow} }T$
The theorem we are invoking only requires a pre-ordering. These steps prove that the relation is a total ordering, a fact we never use.
Either these steps should be removed, or their function within the proof should be explained. If the steps reveal interesting or useful information, consider moving them to a new page.
If you have done this or know it has been done, please remove {{SideTrail}} from the code.
Either these steps should be removed, or their function within the proof should be explained. If the steps reveal interesting or useful information, consider moving them to a new page.
If you have done this or know it has been done, please remove {{SideTrail}} from the code.
