Implemented_Monoid
Classes
AllenMonoid
ANDMonoid
ANDMorganMonoid
ORAllenMonoid
ORMonoid
ORMorganMonoid
UsualAdditionMonoid
UsualMultiplicationMonoid