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

<PRE>
GreatestLowerBound (T): <b>trait</b>
  <b>introduces</b> 
    __ &lt;= __: T, T -&gt; Bool
    __ \glb __: T, T -&gt; T
  <b>asserts</b> <b>forall</b> x, y, z: T
    (x \glb y) &lt;= x;
    (x \glb y) &lt;= y;
    (z &lt;= x /\ z &lt;= y) =&gt; z &lt;= (x \glb y)
</PRE>

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