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

<PRE>
StrictPartialOrder (&lt;, T): <b>trait</b>
  <b>includes</b> <A HREF="Irreflexive.html">Irreflexive</A> (&lt;), <A HREF="Transitive.html">Transitive</A> (&lt;)
  <b>implies</b>
    <A HREF="Asymmetric.html">Asymmetric</A> (&lt;)
    <b>forall</b> x, y, z: T
      ~(x &lt; x);
      (x &lt; y /\ y &lt; z) =&gt; x &lt; z
</PRE>

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