Definition:Pointwise Addition on Ring of Sequences