本题考察的是关系数据库中 Armstrong 公理体系中的增广律。
A选项若 X→Y，X→Z，则 X→YZ 为 F 所蕴涵：这描述的是合并规则，也称并规则，表示如果 X 能推出 Y 和 Z，那么 X 能推出 YZ，但这不是增广律。
B选项若 X→Y，WY→Z，则 XW→Z 为 F 所蕴涵：这是函数依赖的合成过程，涉及更复杂的推理，不属于 Armstrong 公理的基本三条之一。
C选项若 X→Y，Y→Z 为 F 所蕴涵，则 X→Z 为 F 所蕴涵：这是传递律，是 Armstrong 公理中的另一条，但不是增广律。
D选项若 X→Y 为 F 所蕴涵，且 Z⊆U，则 XZ→YZ 为 F 所蕴涵：这正是增广律的定义。它指出：在已有依赖 X→Y 的基础上，可以对两边同时加上同一组属性 Z，得到新的依赖 XZ→YZ，该依赖依然由 F 蕴涵。
因此，正确答案是 D。