strong upper derivate of set-function