Monoid concept

Description

A Monoid is a SemiGroup with an identity

Refinement of

Notation

S	Type of a set
Op	Type of an operation
{S,Op}	Model of Monoid
a	Object of type `S`
op	Object of type Op

Definitions

Valid expressions

In addition to those defined by SemiGroup:

Name	Expression	Return type
Identity	identity<S,Op>()()	S

Expression semantics

Complexity guarantees

Invariants

Identity op(a,identity<S,Op>()()) == a

Models

Notes