finite_sequence

Processing math: 100%

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