相关函数的性质