如果Y⊆X⊆U，则X→Y成立，这条推理规则称为（）；如果X→Y和WY→Z成立，则WX→Z成立，这条推理规则称为（）。