对于函数依赖X→Y，如果Y是X的子集，则称X→Y为 __________函数依赖。