My question is quite naive...
I just want to represent a finite sequence of Natural number, is it the best way to write it like this?:
$\langle a_0, \ldots, a_n \rangle $, where $\forall i \in [ 0, n ], a_i \in \mathbb{N}$
I have also seen somewhere $\{ a_i \}$, does it mean a set (or a sequence) of variables? is it finite or infinite? where could i add the constraint like $\forall i \in [ 0, n ], a_i \in \mathbb{N}$?
Also, is there any difference between "tuple" and "sequence"?
Hope my question is clear, I just want to make sure what I write matches the convention...
Thank you very much