Implemented_Monoid

Class UsualMultiplicationMonoid