The Hausdorff fuzzy metric on compact sets

We propose a method for constructing a Hausdorff fuzzy metric on the set of the nonempty compact subsets of a given fuzzy metric space (in the sense of George and Veeramani). We discuss several important properties as completeness, completion and precompactness. Some illustrative examples are given.