Definition:Summation over Finite Subset

Definition
Let $\struct{G, +}$ be a commutative monoid.

Let $F \subseteq G$ be a finite subset of $G$.

Let $\set{f_1, f_2, \ldots, f_n}$ be a finite enumeration of $F$.

Let $\tuple{f_1, f_2, \ldots, f_n}$ be the ordered tuple formed from $\set{f_1, f_2, \ldots, f_n}$.

The summation over F, denoted $\ds \sum_{g \mathop \in F} g$, is defined as the summation over $\tuple{f_1, f_2, \ldots, f_n}$:
 * $\ds \sum_{g \mathop \in F} g = \sum_{i \mathop = 1}^n f_i$

Also see

 * User:Leigh.Samphier/Topology/Summation over Finite Set is Well-Defined