pseudometric
not defined yet