Assertion: infinite sequence | /r/HasProperty | function
Facets:
value: from 1
type: OTHER
Source sentences:
text: An infinite sequence in S is a function from {1, 2, ...} (the set of natural numbers without 0) to S.