This is an old revision of the document!

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

Link to graph
Log In
Improvements of the human condition
limeGraphxioms