A. )若 X →→ Y ,则 X →→ Z
B. )若 X →→ Y ,则 X → Y
C. )设 XY W U ,若 X →→ Y 在 R ( W )上成立,则 X →→ Y 在 R ( U )上成立
D. )若 X →→ Y 在 R ( U )上成立,且 Y ′ Y ,则 X →→ Y ′ 在 R ( U )上成立