このとき "c" が凸錐であるための必要十分条件は、集合 "c"′ ＝ "c" ∩"a" が "a" の凸部分集合(すなわち、凸結合の下で閉じている集合)であることである。