空でない開区間I⊂Rを1つ定める。
fはI上で定義されていて、その中で少なくとも1回微分可能な
実数値関数であるとする。
各x∈Iに対して、単にy=f(x)と書くことにする。
このとき、yの導関数を dy/dx で表すことにする。