Kata Kunci Pencarian:
- Teorema Heine–Borel
- Ruang kompak
- Heine–Borel theorem
- Émile Borel
- Eduard Heine
- Compact space
- Bolzano–Weierstrass theorem
- Least-upper-bound property
- Extreme value theorem
- Arzelà–Ascoli theorem
- Complete metric space
- List of mathematical proofs