给定关系模式 R<U,F>;其中 U 为属性集，F 是 U 上的一组函数依赖，那么 Armstroog 公理系统的增广律是指（  ）。

选择了： 若 X→Y，为 F 所蕴涵，且 Z?U,则入 XZ→YZ 为 F 所蕴涵

选择了： 若 X→Y，Y→Z 为 F 所蕴涵，则 X→Z 为 F 所蕴涵

选择了： 若 X→Y，WY→Z，则 XW→Z 为 F 所蕴涵

选择了： 若 X→Y，X→Z，则 X→YZ 为 F 所蕴涵