如果X→Y，并且对于X的一个任意真子集X′，Y都不函数依赖于X′，则称Y（）于X；如果存在X′→Y，则称Y（）于X。