dedekind::algebra::IsMultiplicativeMonoid Concept Reference

Proposition: a set object X whose carrier is a monoid under *. More...

Concept definition

template<typename X, typename Mult std::multiplies<typename X::Domain>>
concept dedekind::algebra::IsMultiplicativeMonoid =  IsMonoid<X, Mult>

Detailed Description

Proposition: a set object X whose carrier is a monoid under *.

Sibling of IsAdditiveMonoid; the std::multiplies-defaulted multiplicative witness of the set-indexed IsMonoid (#517).

Template Parameters

X	The set object.
Mult	The multiplicative operation (defaults to std::multiplies<X::Domain>).