(In fancier terms, disjoint closed sets are not only separated by neighbourhoods, but also separated by a function.)
(用較花巧的术语来说，不相交闭集不只是由鄰域分离的，还是由函数分离的。