<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Total order - Page 20 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=total_order&amp;p=19">1.Previous</a><br />
<a accesskey="3" href="page.php?w=total_order&amp;p=21">3.Next</a>
</p>
<p>by a particular order.  For instance if <b>N</b> is the natural numbers,  is less than and  greater than we might refer to the order topology on <b>N</b> induced by  and the order topology on <b>N</b> induced by  (in this case they happen to be identical but will not in general).</p>

<p>The order topology induced by a total order may be shown to be hereditarily <a href="page.php?w=Normal_space">normal</a>.</p>

<p><big>Completeness</big></p>
<p>A totally ordered set is said to be <b><a href="page.php?w=Completeness_%28order_theory%29">complete</a></b> if</p><p>
<a accesskey="1" href="page.php?w=total_order&amp;p=19">1.Previous</a><br />
<a accesskey="3" href="page.php?w=total_order&amp;p=21">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
