[填空题] 如果X→Y和X→Z成立，那么X→YZ也成立，这个推理规则称为（）。

在WindowsXP操作系统中，键盘组合键【Ctrl+Space】可实现中英文输入法的切换。 如果X→Y且有Y包含于X，那么X→Y称为（）。 在QQ中，通常情况下不加为好友也可以聊天。 在函数信赖中，平凡的函数信赖根据Armstrong推理规则中的（）律就可推出。 网上购物时，当卖家发货后，买家就无法了解货物的传递详情了。 如果X→Y和X→Z成立，那么X→YZ也成立，这个推理规则称为（）。