Definition:Summation over Set with Finite Support