[PostScript]
AbelianSemigroup: trait
  includes Abelian, Semigroup
  implies AC
[Table of Contents] [Index]