A subsequence of a sequence (an)n≥1(a_n)_{n\ge 1} is a sequence of the form (ank)k≥1(a_{n_k})_{k\ge 1}, where n1<n2<n3<⋯n_1<n_2<n_3<\cdots is a strictly increasing sequence of indices.

Subsequences are a standard way to isolate “partial” limiting behavior of a sequence; they are used in defining and . The guarantees monotone subsequences under mild hypotheses.

Examples
  • If an=(−1)na_n=(-1)^n, then (a2k)k≥1(a_{2k})_{k\ge 1} is the subsequence 1,1,1,…1,1,1,\dots.
  • If an=na_n=n, then (a2k)k≥1(a_{2k})_{k\ge 1} is the subsequence 2,4,6,…2,4,6,\dots.