subdifferential subgradient subderivative superderivative anti-differentiation antidifferentiation superderivation differentiation subdivergence superdifferentiability