この定理は、コンパクト、すなわち「有界」かつ「閉」で、さらに「凸」である集合に対してのみ成立する。