public interface GroupAdditive<G> extends Structure<G>
G
opposite()
plus(G that)
copy
G plus(G that)
that
this + that
G opposite()
this.plus(this.opposite()) == ZERO
ZERO
-this