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

<PRE>
IsPO (&lt;=, T): <b>trait</b>
  % &lt;<= is a partial order on T
  <b>introduces</b> __&lt;=__: T, T -&gt; Bool
  <b>asserts</b> <b>forall</b> x, y, z: T    
    x &lt;= x;
    (x &lt;= y /\ y &lt;= z) =&gt; x &lt;= z;
    x &lt;= y /\ y &lt;= x == x = y
  <b>implies</b>
    <A HREF="Antisymmetric.html">Antisymmetric</A> (&lt;=),
    <A HREF="PreOrder.html">PreOrder</A>,
    <A HREF="Reflexive.html">Reflexive</A> (&lt;=),
    <A HREF="Transitive.html">Transitive</A> (&lt;=)
    T <b>partitioned</b> <b>by</b> &lt;=
</PRE>

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