[<A HREF="TotalOrder.ps">PostScript</A>]

<PRE>
TotalOrder (T): <b>trait</b>
  <b>includes</b> <A HREF="IsTO.html">IsTO</A>, <A HREF="DerivedOrders.html">DerivedOrders</A>
  <b>implies</b>
    <A HREF="PartialOrder.html">PartialOrder</A>,
    <A HREF="StrictTotalOrder.html">StrictTotalOrder</A> (&lt;, T),
    <A HREF="TotalOrder.html">TotalOrder</A> (&gt;= <b>for</b> &lt;=, &lt;= <b>for</b> &gt;=,
                &gt; <b>for</b> &lt;, &lt; <b>for</b> &gt;)
    T <b>partitioned</b> <b>by</b> &lt;
</PRE>

[<A HREF="toc.html">Table of Contents</A>] [<A HREF="index.html">Index</A>]