A Group is a Monoid equipped with an inverse. It's also a PartiallyInvertibleMonoid for which all elements of the set have an inverse.
| S | Type of a set |
| Op | Type of an operation |
| {S,Op} | Model of Group |
| a | Object of type S |
| op | Object of type Op |
| Name | Expression | Return type |
|---|---|---|
| Inverse | inverse<S,Op>()(a) | S |
| Identity | op(a,inverse<S,Op>()(a)) == identity<S,Op>()() |