给定关系模式R(U,F)，其中U为属性集，F是U上的一组函数依赖。Armstrong公理系统中的合并规则是指（）为F所蕴涵。
A． 若X→Y且X→Z，则X→YZ
B． 若X→Y且WY→Z，则XW→Z
C． 若X→Y且Y→Z，则X→Z
D． 若X→Y且Z⊆Y，则X→Z