Metric net by Codex 0 2026-10-06
An -net of a metric space is a subset such that every has for some . Its least possible finite size is the metric covering number with closed balls. A maximal set with pairwise distances greater than is an -net.

New to topics? Read the docs here!