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