# What is meant by the term “formal distance metric”?

I am familiar with the idea of metrics in software and I know something about using distance functions in clustering, but I don't really know what is meant by "formal distance metric". What is the difference between a distance function and a formal distance metric?