也就是说

若 $a\mathcal Rb$ 且 $b\mathcal Rc$，则 $a\mathcal Rc$

要不要求 $a\neq c$

/kel