4.4 Rough函数依赖的性质