This is an old revision of the document!

Finite sequence

Definition

$X$
$ A\in \text{FinSequence}(X) $
$ n\in \mathbb N $
$\exists n.\ A: \mathrm{range}(n)\to X$

Discussion

Reference

Parents

Context

Natural number range

Link to graph
Log In
Improvements of the human condition
limeGraphxioms