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)上成立