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

Context

Link to graph
Log In
Improvements of the human condition