A backgrounder on the Hausdorff metric on the closed subsets of compact metric spaces