在数学中，一个欧几里得空间R中的集合formula_1称为星形域（star domain）或星形凸集（star-convex set），如果存在formula_1中的点formula_3，使得对于formula_1中的所有formula_5，从formula_3到formula_5的线段也位于formula_1内。这个定义可以立刻推广到任何实或复向量空间。直观地，如果我们把formula_1视为用围墙包围的一个区域，那么formula_1是一个星形域，如果我们可以在formula_1中找到一个着眼点fo