Definition:Net (Metric Space)/Finite Net

Definition
Let $M$ be a metric space.

Let $\epsilon > 0$.

A finite $\epsilon$-net for $M$ is an $\epsilon$-net for $M$ which is finite.