[PostScript]
Ring: trait
  includes
    AbelianGroup (+ for \circ, 0 for unit, -__ for \inv),
    Semigroup (* for \circ),
    Distributive (+, *, T)
[Table of Contents] [Index]