Assertion: finite sequence | /r/HasProperty | sequence
Facets:
Source sentences:
text: Finite sequences are sequences with a provably finite number of terms, although not only the last term might be unknown but even the number of terms might be unknown, and which therefore have a last term (which is the largest term if the sequence is [‍strictly or nonstrictly‍] increasing, and which is the smallest term if the sequence is [‍strictly or nonstrictly‍] decreasing).