T
public interface Group<T> extends Monoid<T>
UnaryOperation<T>
inversion()
identity
operation
UnaryOperation<T> inversion()