임의의 두 0이아닌 무한소 d,ď에 대하여
(f(a+d)-f(a))/d - (f(a+ď)-f(a))/ď 가 무한소 이면
f는 a에서 미분가능하다고 하고

0이아닌 무한소 d에 대하여
(f(a+d)-f(a))/d 의 표준부분(가장 가까운 실수)을
f'(a)로 정의함

(f도 사실 안에 초실수를 집어넣을수있게 확장을 해야함)