Convex subset of a geodesic metric space (source code)

= Convex subset of a geodesic metric space

A subset $Y$ of a geodesic metric space is convex when every geodesic whose endpoints lie in $Y$ is contained in $Y$.