Example image of eyePlorer eyePlorer map for 'Heine–Borel theorem': Compact space Cover (topology) Eduard Heine Euclidean space Metric space Subset Topology Émile Borel Real analysis Complete metric space Totally bounded space Continuous function Uniform continuity Johann Peter Gustav Lejeune Dirichlet Karl Weierstrass Salvatore Pincherle Countable set Arthur Moritz Schönflies Henri Lebesgue Hausdorff space Topological vector space Rational number Banach space Uniform space Jean Dieudonné Cauchy sequence Axiom of choice Boolean prime ideal theorem List of theorems Montel space Locally connected space Regularity theorem for Lebesgue measure Scientific phenomena named after people Pseudocompact space Field of values Topologist's sine curve Measure of non-compactness Menger sponge Froda's theorem Bolzano–Weierstrass theorem Unitary group Locally compact space Equicontinuity Kakutani fixed point theorem Essential range Distribution (mathematics) Nuclear space Net (mathematics) Cantor set Riemannian manifold