Let and . We say that A is -separated if for all , where is a Metric over the set .
The -packing number of , denoted by is the size of the largest -separated set contained in .
It is the same as the size of the largest number of centers of balls of size we can pack inside the set , hence why it's called the packing number.
Note that if a point in is further from all points in than , we can always add one more point to , therefore the maximal packing set (of size ), has all points in within less than distance of points in , and it is therefore a covering set. Therefore, is an upper bound on the Covering number