设一个关系为R,X和Y是它的两个属性集。若X函数决定Y,同时X的一个子集X也能够函数决定Y,则称Y（）于X。