🏗️ ΘρϵηΠατπ🚧 (under construction)

Sequence
A sequence is a function is any function f such that dom(f)=I where I either finite or countable.

With this in place, we can consider the n-th element by f(n). Since we can think of the sequence as being enumerated, the notation an is employed for f(n) where a is usually any choice of lower case alphabet characters like a,b,c,d,. That said, we can notate the entire sequence by (an)

Subsequence
Given a sequence (an):N1R then given any strictly increasing map σ:N1N1 we say that the sequence xn:=(aσ(n)) is a subsequence, and we usually denote it just as aσ(n)