Definition:Pseudometric Space