\begin{definition}[Definition:Net (Metric Space)/Finite Net]
Let $M$ be a metric space.
Let $\epsilon \in \R_{>0}$ be a strictly positive real number.
A '''finite $\epsilon$-net for $M$''' is an $\epsilon$-net for $M$ which is a finite set.
\end{definition}