Let X, d be a metric space and x, y ∈ X with l d x, y . A geodesic path from x to y is an isometry c : 0, l → X such that c 0 x and c l y. The image of a geodesic path is called a geodesic segment. A metric spaceX is a (uniquely) geodesic space if every two points ofX are joined by only one geodesic segment. A geodesic triangle x1, x2, x3 in a geodesic space X consists of three points x1, x2, x...