Infinite series
Set
context
$M$ … monoid, metric space
context
$ S \in \mathrm{InfSequence}(M)$
definiendum
$\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