の凸包が閉集合となるとき(よくあるのが例えばが有限集合やもっと一般にコンパクト集合のとき)、それはを含む閉半空間全ての交わりと一致する。