设有关系模式R（U，F），X包含于U、Y包含于U，如果从F中的函数依赖能够推导出X→Y，则称F逻辑蕴涵X→Y，或称X→Y是F的（）