Asubset is r-separated if distinct points have distance at least r. Such asubset 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.
