Pseudometric space

Metric space but where the distance between two distinct points can be zero.

Notable example: Minkowski space.