“…An Alexandrov space is a finite-dimensional length metric space with a lower curvature bound, in a comparison geometry sense. For details, see[59,107] 17. More generally, if μ is not free, then π : M → M/G is a submetry, which is a generalization of submersions to metric spaces.…”