Example image of eyePlorer eyePlorer map for 'Totally bounded space': Cover (topology) Finite set Mathematics Subset Topology Relatively compact subspace Complete metric space Boundedness Metric space Euclidean distance Euclidean space Natural number Subspace topology Definition Existential quantification Family of sets Mathematical logic Union (set theory) Universal quantification Topological group Compact space Bounded set Real line Banach space Dimension (vector space) Hilbert space Unit sphere Closure (topology) Bounded set (topological vector space) Locally convex topological vector space Weak topology (polar topology) Homeomorphism Separable space Discrete space Distinct If and only if Closed set Heine–Borel theorem Axiom of choice Compactly embedded Measure of non-compactness Ball (mathematics) Compact operator Uniform property Wijsman convergence Uniform continuity Precompact set Cantor set Filter (mathematics)