设R(U)是属性集U上的关系模式。X，Y是U的子集。若对于R(U)的任意一个可能的关系R，R中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称( )。