MultiplicativeMonoid concept
Description
A multiplicative monoid is an multiplicative semi-group with an identity
or a monoid where the operation is the multiplication.
Refinement of
MultiplicativeSemiGroup and
Monoid
Notation
Definitions
Valid expressions
Expression semantics
Complexity guarantees
Invariants
Models
Notes