给定关系模式 R(U, F)，其中 U 为属性集, U={X, Y, Z}, F是U上的一组函数依赖。函数依赖的公理系统（Armstrong公理系统）中的 （__） 是指"若X→Y，X→Z,则X→YZ 为 F 所蕴涵"。
Armstrong公理系统是关系数据库中函数依赖推理的核心规则体系，包含3条基本公理与3条由其导出的实用推理规则。基本公理分别为：自反律，若属性集Y是X的子集且二者都属于关系属性全集U，则X函数决定Y；增广律，若X函数决定Y，Z是U的子集，在X、Y两端同时添加Z后，XZ函数决定YZ依然成立；传递律，若X函数决定Y，Y函数决定Z，则X可传递决定Z。由基本公理可推导出三条规则：合并规则，若X能分别决定Y和Z，那么X可同时决定YZ；伪传递规则，若X决定Y，且WY决定Z，则XW可决定Z；分解规则，若X决定Y，Z是Y的子集，那么X可决定Z，且分解规则与合并规则互为逆操作。这套公理系统是推导函数依赖闭包、确定关系模式候选键的重要理论依据。
此题考察** Armstrong 公理系统的相关概念**。
注意这里不是让你判断哪个是正确的说法，而是让你看哪个是题干的定义。
设关系模式 R<U，F>，其中 U 为属性集，F 是 U 上的一组函数依赖，则有：
① A1自反律：若 Y⊆X⊆U，则 X→Y 为 F 所蕴含；
② A2增广律：若 X→Y为 F 所蕴含，且 Z⊆U，则 XZ→YZ 为 F 所蕴含；
③ A3传递律：若 X→Y，Y→Z 为 F 所蕴含，则 X→Z 为 F 所蕴含。
根据上面三条推理规则，又可推出下面三条推理规则：
④ 合并规则：若 X→Y，X→Z，则X→YZ 为 F 所蕴含；
⑤ 伪传递规则：若 X→Y，WY→Z，则 XW→Z 为 F 所蕴含；
⑥ 分解规则：若 X→Y，Z⊆Y，则 X→Z 为 F 所蕴含。
所以选择选项 D。