微分小
この式は「x に関する y の微分商とは差分商 Δy⁄Δx の Δx を無限小に近づけた極限である」という直観的な考えをまとめたものである。
微分小量の概念を数学的に明確にする方法には、例えば以下のようなものが考えられる:
線型写像として: これは全微分および微分幾何学における外微分の定義を下敷きにしたものである。
可換環の冪零元として: この方法は代数幾何学ではよく用いられる。
直観主義論理の枠組みで: この方法は綜合微分幾何学(英語版)や滑らかな無限小解析といわれるもので、冪零無限小が導入されるという点では代数幾何学的な方法と近いが、そうなるメカニズムは全く異なりトポス理論からくる。
超実数の無限小元として: 超実数は可逆な無限小や無限大を含むような実数概念の拡張である。このような方法はアブラハム・ロビンソンの開拓した超準解析による。
これらのアプローチの各々は互いに非常に異なっているけれども、いずれも「定量的」な概念であることは共通している。つまりこれらの方法で定式化された微分は「無限に小さい」のではなく「どれほどでも(必要なだけ十分に)小さい」のである。