在关系模式R(U)中，如果X→Y和X→Z成立，则X→YZ也成立，这条规则称为( )。