For V a vector space, a star shaped neighbourhood of the origin is an open neighbourhood U⊂V such that with v∈U and s∈[0,1] also sv∈U.