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

<PRE>
Inverse: <b>trait</b>
  <b>assumes</b> <A HREF="Identity.html">Identity</A>, <A HREF="Semigroup.html">Semigroup</A>
  <b>includes</b> <A HREF="LeftInverse.html">LeftInverse</A>, <A HREF="RightInverse.html">RightInverse</A>
  <b>implies</b>
    <A HREF="Involutive.html">Involutive</A> (__\inv <b>for</b> op)
    <b>forall</b> x, y: T
      unit\inv == unit;
      (x \circ y)\inv == (y\inv) \circ (x\inv)
</PRE>

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