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


Natural number range