Generalized Sum Restricted to Non-zero Summands/Sufficient Condition

Theorem
Let $G$ be a commutative topological semigroup with identity $0_G$.

Let $\family{g }_{i \in I}$ be an indexed subset of $G$.

Let $J = \set{i \in I : g_i \ne 0_G}$

Let $g'= g \restriction_J$ be the restriction of $g$ to $J$.

Let $h \in G$.

Let the generalized sum $\ds \sum_{j \mathop \in J} g'_j$ converge to $h$.

Then:
 * the generalized sum $\ds \sum_{i \mathop \in I} g_i$ converges to $h$.

Proof
Let $U \subseteq G$ be an open subset of $G$ such that $h \in U$.

By definition of convergent net:
 * $(2) \quad \exists F' \subseteq J : F' \ne \O : \forall E' \subseteq J : E' \supseteq F' : \ds \sum_{j \mathop \in E'} g'_j \in U$

where $\ds \sum_{j \mathop \in E'} g'_j$ is the summation over $E$.

Let $E \subseteq I$:
 * $E \supseteq F'$

Let:
 * $E' = E \cap J$

From :
 * $E' \supseteq F'$

From $(2)$:
 * $\ds \sum_{j \mathop \in E'} g'_j \in U$

From :
 * $E = E' \cup E \setminus J$

From :
 * $E' \cap E \setminus J = \O$

Case 2 : $E \setminus J \ne \O$
In either case:
 * $\ds \sum_{i \mathop \in E} g_i \in U$

Since $U$ was arbitrary, it follows that $\ds \sum_{i \mathop \in I} g_i$ converges to $h$ by definition.