Definition:Ring Subtraction