The set of the group
The operation of the group
Optionalidentity: T
The identity element of the group (optional if the set is Z, Q, R, C, A, S, M, or GL)
Optionalinverter: (a: T) => T
The function to calculate the inverse of an element of the group (optional if the set is Z, Q, R, C, M, A, S, or GL)
Defines an algebraic structure known as a group.