Assertion: series | /r/HasProperty | formal sum of the elements
Facets:
Source sentences:
text: I\mapsto G} is a function from an index set I to a set G, then the "series" associated to a {\displaystyle a} is the formal sum of the elements a ( x ) ∈ G {\displaystyle a(x)\in G} over the index elements