不过有时候我们直接定义rf满足这个性质