A sequence is a function is any function such that where either finite or countable.
With this in place, we can consider the -th element by . Since we can think of the sequence as being enumerated, the notation is employed for where is usually any choice of lower case alphabet characters like . That said, we can notate the entire sequence by
Subsequence
Given a sequence then given any strictly increasing map we say that the sequence is a subsequence, and we usually denote it just as