 Inclusion-maximal separated set

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.