Definition:Ring Addition