---
tag: 0F1PR74BRX
kind: concept
name: Subsequence
msc: [40A05]
sources:
  - url: https://en.wikipedia.org/wiki/Subsequence
    locator: lead section
same_as:
  wikidata: Q1332977
  wikipedia: Subsequence
---

## Summary

A subsequence of a sequence keeps infinitely many of its terms, in their original order. Subsequences are the main tool of the Bolzano–Weierstrass theorem. The node [[subsequence|0R8J3ZQMJS]] gives the precise definition.