Exercice 1, § 5

Soit $(x_i)_{i \in I}$ une famille sommable dans un groupe complet G, et soit $\mathscr{S}$ un ensemble de parties de I, filtrant pour la relation $\subset$, et formant un recouvrement de I; montrer que $\sum_{i \in I} x_i = \lim_J \sum_{i \in J} x_i$, la limite étant prise suivant le filtre des sections de $\mathscr{S}$.