Processing math: 100%
Infinite series
Set
context
M
… monoid, metric space
context
S
∈
I
n
f
S
e
q
u
e
n
c
e
(
M
)
definiendum
∑
∞
k
=
1
S
k
≡
l
i
m
n
→
∞
∑
n
k
=
1
S
k
Element of
Monoid
Context
Finite sum over a monoid
,
Limit in a metric space