また、xを、sの近傍で定義された、区分的に滑らかなベクトル場とする。