设关系模式R （U，F)，其中U为属性集， F是U上的一组函数依赖，那么函数依赖的公理系统（Armstrong公理

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

A.若A→B，B→C，则A→CB.若Y⊆X⊆U，则X→Y。C.若A→B，A→C ,则A→BCD.若A→B，C⊆B,则A→C

请帮忙给出正确答案和分析，谢谢！