Formal sum

ウィキペディアから