Definition:Addition/Ring