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

<PRE>
Ring: <b>trait</b>
  <b>includes</b>
    <A HREF="AbelianGroup.html">AbelianGroup</A> (+ <b>for</b> \circ, 0 <b>for</b> unit, -__ <b>for</b> \inv),
    <A HREF="Semigroup.html">Semigroup</A> (* <b>for</b> \circ),
    <A HREF="Distributive.html">Distributive</A> (+, *, T)
</PRE>

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