definitionreal-analysis Definition Let (xn)n be a sequence and n1<n2<⋯<nk<⋯ be strictly increasing. Then we say (xnk)k is a subsequence of (xn)n. Examples