Iis there any discrete analogue m of star convexity at 0' star convexity at 0',?
That is, in the same way that midpoint convexity can be seen to be a discrete analogue of convexity (and entails it under certain regularity assumptions, continuity etc)?
For example, where F:[0,1] \to [0,1],
star convexity at 0 :
"\for all x \in dom (F)=[0,1],:(\forall t \in [0,1]) :"F(t * x_0 +(1-t) * x )