#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.