Discrete convexity: