若X→Y，且YX，则称X→Y为（）/⊂的函数依赖。