が存在するとき、 は において右側微分可能であるといい、この片側極限を右側微分係数とよぶ。同様に、 が負の値をとりながら に近づいたときの片側極限
が存在するとき、 は において左側微分可能であるといい、この片側極限を左側微分係数とよぶ。 が において微分可能であるためには、「 が において右側微分可能かつ左側微分可能で、かつ右側微分係数と左側微分係数が一致する」ということが必要十分である。
区間における微分可能性と導関数.
 がその他のタイプの区間である場合にも、区間 における微分可能性を定義することができる。たとえば、 が有界閉区間 である場合には、区間の内点では通常の意味での微分係数の存在を要請し、 では右側微分係数が、 では左側微分係数が存在することを要請する。導関数 の値は、 では右側微分係数、 では左側微分係数とする。
関数 が区間 において微分可能で、さらに導関数 が で連続であるとき、 は において連続微分可能である、または 級であるという。
ある定数 が存在して、 のとき である。
ここで はランダウの記号である。この条件が成り立つとき、 は微分係数 に他ならない。
連続性と可微分性.
関数 が において微分可能ならば、 は で必ず連続である。
一方で、関数がある一点で連続だったとしても、そこで微分可能でないことがある。
高階微分.
 が 回微分可能であって、さらに 階導関数 が連続であるとき、 は 回連続微分可能である（または 級である）という。何回でも微分可能な関数は無限回微分可能である（または 級である）という。 級関数のことを滑らかな関数ということもある（ただしこの語の用法は必ずしも一定していず、たとえば単に微分可能であることを指して滑らかであるという場合もある）。
微分と関数の増減・凹凸.
導関数の符号と関数の増減.
微分可能な関数 について、導関数 が正の値をとる区間では、 の値は単調増加する（より詳しくいえば、狭義単調増加する）。導関数 が負の値をとる区間では の値は単調減少する。導関数 の値がつねに であるような区間では、関数 の値は一定である。
多項式近似への応用.
関数 が開区間 で 階微分可能で、 階導関数 が で微分可能なとき、 の における微分係数を とすれば
ベクトル値関数の微分.