A Set with a Metric function.

It can be used to define notions of Convergence, and Open sets.

Because a metric space has a natural notion of open set, it also has a natural topology