The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Sequentially Compact
Let be a Topological Space.
Suppose every sequence in has a convergent subsequence.
Then is called sequentially compact.