===== Infinite series ===== ==== Set ==== | @#55CCEE: context | @#55CCEE: $M$ ... monoid, metric space | | @#55CCEE: context | @#55CCEE: $ S \in \mathrm{InfSequence}(M)$ | | @#FFBB00: definiendum | @#FFBB00: $\sum_{k=1}^\infty S_k\equiv \mathrm{lim}_{n\to\infty}\sum_{k=1}^n S_k$ | ----- === Element of === [[Monoid]] === Context === [[Finite sum over a monoid]], [[Limit in a metric space]]