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