定義
K を実数体または複素数体とする。
E を K 上の線形空間とする。
E の錘(>>70) で凸(過去スレ008の424)なものを凸錘(convex cone)と言う。