上述の閉凸包は、formula_2を含むすべてのformula_1の閉部分集合の共通部分として定義される。