设一个关系为R，X和Y是它的两个属性集。若对于X上的每个值都有Y上的一个惟一值与之对应，则称X和Y（）。