This is an old revision of the document!
Sequence
Definition
| $X$ |
| $ \mathrm{Sequence}(X)\equiv\mathrm{FinSequence}(X)\cup\mathrm{InfSequence}(X) $ |
Discussion
Instead of $\langle n,A(n)\rangle$, we also write $A_n$ and denote the whole sequence by $(A_n)_{n\mathbb N}$.
Parents
Requirements
