This is an old revision of the document!

Sequence

Definition

$X$
$ \mathrm{Sequence}(X)\equiv\mathrm{FinSequence}(X)\cup\mathrm{InfSequence}(X) $

Discussion

Parents

Requirements

Finite sequence, Infinite sequence

Link to graph
Log In
Improvements of the human condition
limeGraphxioms