增广律是Armp公理系统的推理规则之一，它的含义是：设F是属性组U上的一组函数依赖，若X→Y为F所逻辑蕴涵，且

，则______为F所逻辑蕴涵。