<?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="Order topology - Page 3 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Order_topology&amp;p=2">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Order_topology&amp;p=4">3.Next</a>
</p>
<p>or <b>linearly orderable</b> if there exists a total order on its elements such that the order topology induced by that order and the given topology on X coincide. The order topology makes X into a <a href="page.php?w=completely_normal_space">completely normal</a> <a href="page.php?w=Hausdorff_space">Hausdorff space</a>.</p>

<p>The standard topologies on <b>R</b>, <b>Q</b>, <b>Z</b>, and <b>N</b> are the order topologies.</p>

<p><big> Induced order topology </big></p>
<p>If Y is a subset of X, X a totally ordered set, then Y inherits a total order from</p><p>
<a accesskey="1" href="page.php?w=Order_topology&amp;p=2">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Order_topology&amp;p=4">3.Next</a>
</p>

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

</card>
</wml>
