Armstrong公理系统中有一条推理规则为：若x—Y为F所逻辑蕴含，且z∈U，则XZ—YZ为F所逻辑蕴含。这条推理规则称作____________。