>>863
(2)の方はR1やR2が同値関係を表してないような気がする。