Abstraction of lawful metric spaces, packaged with definitions over real vectors, strings, and sets.