定義
K を実数体または複素数体とする。
E を K 上の線形空間とする。
E の錘(>>70) C は 0 ∈ C のとき頂点付きの錘(pointed cone)と言う。
0 ∈ C でないとき頂点を除いた錘と言う。