Fuzzy Prokhorov metric on the set of probability measures

We introduce a fuzzy metric on the set of probability measures on a fuzzy metric space. The construction is an analogue, in the realm of fuzzy metric spaces, of the Prokhorov metric on the set of probability measures on compact metric spaces.