若arb真，则bra（），R就是非对称关系。