MultiplicativePartiallyInvertibleMonoid concept
Description
A MultiplicativePartiallyInvertibleMonoid is a monoid of which only part
of the elements in the set have an inverse.
Refinement of
MultiplicativeMonoid and
PartiallyInvertibleMonoid
Notation
Definitions
Valid expressions
Expression semantics
Complexity guarantees
Invariants
Models
Notes