Finite sequence
Set
context
$X$
definiendum
$ A\in \text{FinSequence}(X) $
range
$ n\in \mathbb N $
postulate
$\exists n.\ A: \mathrm{range}(n)\to X$
Reference
Related
Natural number range