Condition for global minimum through abstract convexity: Abstract subdifferentials, separation properties