Ran space (original) (raw)

In mathematics, the Ran space (or Ran's space) of a topological space X is a topological space whose underlying set is the set of all nonempty finite subsets of X: for a metric space X the topology is induced by the Hausdorff distance. The notion is named after .