🌱
This is a notion that in Metric Spaces can refer to Totally Bounded spaces or Relatively Compact spaces.
These two notions are only equivalent if we’re working with a complete Metric Space (so in a polish space, both are equivalent), otherwise they are different. It appears that: - =Totally Bounded on Metric Spaces - =Relatively Compact on Uniform Spaces.