if A is compact and B is closed, there exist $u$ in $A$ and $v$ in $B$ such that $\|u-v\|=\inf\{\|a-b\|\mid a\text{ in }A\text{ and }b\text{ in }B\}$
Distance between sets with one closed set and one compact set