SemiGroup concept
Description
A SemiGroup is a
Magma
where the operation is associative.
Refinement of
Magma
,
Notation
S
Type of a set
Op
Type of an operation
{S,Op}
Model of SemiGroup
a, b, c
Objects of type
S
op
Object of type Op
Definitions
Valid expressions
None, except for those defined by
Magma
:
Expression semantics
Complexity guarantees
Invariants
Associativity
op(op(a,b),c) == op(a,op(b,c))
Models
Notes