当R具有反对称性时,若aRb真,则bRa();当R具有传递性时,若aRb真且bRc真时,则aRc()。
出自:00024《普通逻辑》