给定关系模式R＜U,F>;其中U为属性集，F是U上的一组函数依赖，那么Armstroog公理系统的增广律是指()
A.若 X→Y，X→Z，则 X→YZ 为 F 所蕴涵
B.若 X→Y，WY→Z，则 XW→Z 为 F 所蕴涵
C.若 X→Y，Y→Z 为 F 所蕴涵，则 X→Z 为 F 所蕴涵
D.若 X→Y，为 F 所蕴涵，且 ZU,则入 XZ→YZ 为 F 所蕴涵
正确答案是D