Armp公理系统中的增广律的含义是：设R＜U，F＞是一个关系模式，X、Y是U的中属性组，若X→Y为F所逻辑蕴涵，且

，则______为F所逻辑蕴涵。