books/bookvol10.2 fix OrderedAbelianSemiGroup

-OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianMonoid)
+OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianSemiGroup)