给定关系模式R〈U，F〉，其中，U是所有属性的集合，F是FD集。如果X，Y是U的子集，且X→Y∈F，则X和Y之间必然存在( )