设关系模式R(U,F)，其中u为属性集，F是U上的一组函数依赖，那么函数依赖的公理系统（Armstrong公理系统）中的合并规则是指（  ）为F所蕴涵。