Source: /cirosantilli/pseudometric-space

= Pseudometric space
{wiki}

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

Notable example: <Minkowski space>{child}.