Una región estelar , relativa a un punto , es un subconjunto del espacio euclidiano , tal que el segmento que conecta cualquier punto de la región con el punto pertenece enteramente a esta región. Un subconjunto se llama simplemente región estelar si existe un punto con respecto al cual este subconjunto es estelar [1] .
Este concepto también se generaliza al caso de espacios complejos : una región en el espacio se llama estrellada con respecto al origen de coordenadas si la relación se cumple para cualquier número . La región estrellada relativa a un punto arbitrario es un área de la forma , donde es la región estrellada relativa al origen [2] .
De la definición se deduce que cualquier región convexa tiene forma de estrella. Además, una región es convexa si y solo si tiene forma de estrella con respecto a cualquiera de sus puntos.