Probabilistic metric space

A probabilistic metric space is a generalization of metric spaces where the distance is no longer valued in non-negative real numbers, but instead is valued in distribution functions.

Let D+ be the set of all probability distribution functions F such that F(0) = 0: F is a nondecreasing, right continuous mapping from the real numbers R into [0, 1] such that