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