在关系模式R（U，F）中，X，Y均为U中的属性，X→Y成立的充分必要条件是（）。