7.4.1 差分的定义