Let "X" be a complete metric space with the induced length metric "d", and suppose that "X" is locally convex with respect to "d".
Let "X" be a connected complete metric space and suppose that "X" is locally convex. Then the universal cover of "X" is a convex geodesic space with respect to the induced length metric "d".