Inclusion-maximal separated set (source code)

= Inclusion-maximal separated set

= Maximal separated set
{synonym}

An inclusion-maximal <separated set> is one to which no further point of the ambient <metric space> can be added while keeping the same separation. It need not have the largest possible cardinality. In a finite space it can be obtained by repeatedly adding an admissible point.