单选题 设R(U)是在属性U上的关系模式，X，Y是U的子集，若对于R(U)的任意一个可能的关系r，r中的任意两个元组在X上的属性值相等，那么在Y上的属性值也相等，则称 ____ 。