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

<PRE>
PartialOrder (T): <b>trait</b>
  <b>includes</b> <A HREF="IsPO.html">IsPO</A>, <A HREF="DerivedOrders.html">DerivedOrders</A>
  <b>implies</b>
    <A HREF="PartialOrder.html">PartialOrder</A> (&gt; <b>for</b> &lt;, &lt; <b>for</b> &gt;,
                  &gt;= <b>for</b> &lt;=, &lt;= <b>for</b> &gt;=),
    <A HREF="StrictPartialOrder.html">StrictPartialOrder</A> (&lt;, T)
</PRE>

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