Assertion: series's sum | /r/HasProperty | ordered formal
Facets:
Source sentences:
text: A series indexed on the natural numbers is an ordered formal sum