Axiom:Metric Space Axioms