for M being non empty MetrSpace
for P, Q, R being non empty Subset of (TopSpaceMetr M) st P is compact & Q is compact & R is compact holds
max_dist_min (P,R) <= (HausDist (P,Q)) + (HausDist (Q,R))