Assertion: real number | /r/HasProperty | constant sequences
Facets:
Source sentences:
text: The real numbers are considered as the constant sequences, the sequence is zero if it is identically zero, that is, a n = 0 for all n.