如果X→Y和Z⊆Y成立，则X→Z成立，这条推理规则称为____。