锥:对于任意的和都有,那么就称集合C是是锥,即,
锥的例子: (过原点的射线,射线族,角)
特殊的锥:
原点,过原点的射线,过原点的直线;
过原点的多条射线或直线;
过原点的半空间;(在三维坐标系中,可以有小于等于三维的半空间,过原点的半空间包含一维的射线,二维的射面,三维的射体,这些射线、射面、射体都是形象瞎定义的名词);
凸锥:集合C既是凸集又是锥,即对于任意和都有