Proof. As previously stated, for practical purposes, we can only demonstrate this proposition for metrizable G-invariant covering spaces. where F acts as a functional on distances. These spaces may include Riemannian manifolds and their quotient spaces, which may be stratified and contain singular points. Suppose there is a metric space (X, ϱ), in which case a well-known theorem exists for inducing a metric on the orbit space :