Note that, by definition of a Metric Function, it satisfies more conditions than a Pseudometric Function; thus, it is “more specific” than a pseudometric.
Therefore, every metric function is trivially a pseudometric function ─ with the extra condition that