若X→Y，且存在X的真子集X’，X’→Y，则称Y对（）函数依赖。