Separated subset of a metric space (source code)

= Separated subset of a metric space
{title2=$d(x,y)\geq r\quad(x\ne y)$}

= Separated set
{synonym}

= Separated subsets of a metric space
{synonym}

A subset is $r$-separated if distinct points have distance at least $r$. Such a subset is a packing by points; small balls around them have disjoint interiors at suitable radius. A large <separated set> supplies many distinguishable alternatives in statistical lower-bound arguments.