Let $(X, d)$ be a metric space. Let $A, B ⊆ X$ be nonempty disjoint subsets and suppose $A$ is compact and $B$ is closed.
A and B disjoint, A compact, and B closed implies there is positive distance between both sets