Definition:Net (Metric Space)/Finite Net

Definition
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.