An identification theorem for the completion of the Hausdorff fuzzy metric

We prove that given a fuzzy metric space (in the sense of Kramosil and Michalek), the completion of its Hausdorff fuzzy metric space is isometric to the Hausdorff fuzzy metric space of its completion, when the Hausdorff fuzzy metrics are defined on the respective collections of non-empty closed subsets. As a consequence, we deduce the corresponding result for metric spaces by using the standard fuzzy metric. An application to the extension of multivalued mappings and some illustrative examples are also given.