Let
, and let
be a complete,
locally finite
polyhedral
–complex
, each face with
constant curvature
. Let
be a closed, rectifiably
connected subset of
with trivial first singular homology. We show that
, under the induced path
metric, is a complete
space.