Implemented_Monoid

Class ANDMonoid