Pseudometric space (source code)

= Pseudometric space
{wiki}

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

Notable example: <Minkowski space>.