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

<PRE>
AC (\circ, T): <b>trait</b>
  <b>introduces</b> __ \circ __: T, T -&gt; T
  <b>asserts</b> <b>forall</b> x, y, z: T
    (x \circ y) \circ z == x \circ (y \circ z);
    x \circ y == y \circ x
  <b>implies</b>
    <A HREF="Associative.html">Associative</A>,
    <A HREF="Commutative.html">Commutative</A> (T <b>for</b> Range)
</PRE>

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