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