Dirac delta function
如果将整数看做一个装备了计数测度的测度空间，那么这个性质和狄拉克δ函数的定义是一样的：