Assertion: series's sum | /r/HasProperty | x = r.
Facets:
Source sentences:
text: When the sum of a family of non-negative numbers, in the extended sense defined before, is finite, then it coincides with the sum in the topological group X = R.