>>236
=は「aとbが引き分け」ってこと。
>>237
前半はその理解で良い。

推移律は、例えば...
2R(4m) ∧ (4m)R(8n) ⇒ 2R(8n) (m,n∊Z)