c属于n维的R集，如对任意的x属于c和a不小于零，都有ax属于c，则c叫以原点为顶点的锥，若c为凸集，则叫凸锥。

另一种等价的说法是：

设 包含 C 的 X 是（复）线性空间，对任意的 x属于C 和 a,b>=0，有 ax+by属于 C，则 C 叫（以原点为顶点的）凸锥。

有时也会加上一个条件：x, -x属于C　 => x=0。这样x<=y (y-x in C)是偏序。