Quasiconvex subset (source code)

= Quasiconvex subset

A subset $Y$ of a <geodesic metric space> is $K$-quasiconvex when every <metric geodesic> between points of $Y$ lies in the closed $K$-neighborhood of $Y$.