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