#topological_space__topologicalspace__space (mathematics) any set of points that satisfy a set of postulates of some kind; "assume the vector space is finite dimensional"
supertype: #set (mathematics) an abstract collection of numbers or symbols; "the set of prime numbers is infinite"
subtype: #subspace a space that is contained within another space
subtype: #null_space a space that contains no points; and empty space
subtype: #metric_space a set of points such that for every pair of points there is a nonnegative real number called their distance that is symmetric and satisfies the triangle inequality
subtype: #Euclidean_space a space in which Euclid's axioms and definitions apply; a metric space that is linear and finite-dimensional
subtype: #Hilbert_space a metric space that is linear and complete and (usually) infinite-dimensional
No statement uses or specializes #topological_space; click here to add one.