设函数在点的某邻域内有定义，当自变量在处取得增量（点也在该邻域内）时，如果增量可以表示为，其中 是不依赖于的常数，则称在点处可微，且为在点的微分，记为。