定義
K を実数体または複素数体とする。
E を K 上の線形空間とする。
E の部分集合 C は 任意の実数 λ ＞ 0 に対して λC ⊂ C となるとき
0 を頂点とする錘、または単に錘と言う。
空集合は錘である。