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