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