===== Finite sequence =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $X$ | 
| @#FFBB00: definiendum | @#FFBB00: $ A\in \text{FinSequence}(X) $ |
| @#DDDDDD: range       | @#DDDDDD: $ n\in \mathbb N $ |
| @#55EE55: postulate   | @#55EE55: $\exists n.\ A: \mathrm{range}(n)\to X$ |

-----
=== Reference ===
-----
=== Related ===
[[Natural number range]]