User:Dfeuer/thought

$\href {http://proofwiki.org/wiki/Up-Set/Element}{ {\uparrow} }a$

$\href {http://proofwiki.org/wiki/Upper Closure}{ {\uparrow} }T$

This proof contains steps that don't seem to contribute to the goal of proving the theorem In particular: 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. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{SideTrail}} from the code.

This proof contains steps that don't seem to contribute to the goal of proving the theorem 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. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{SideTrail}} from the code.