Question

ℎ

同値関係の質問です。黄色線のように一方だけが成り立つ理由はなんですか？

2.2 同値関係
空でない集合Aに対し, 直積A×Aの部分集合をA上の関係という。 Rが A上の関係
であれば, 元 a,b∈Aに対し, 組 (a,b) は集合A × Aの元であるから, (a, b) ∈Rかまたは
(a,b) R のどちらか一方だけが成り立つ。 (a,b) ∈RであることをαRb と書く。

Answer 1

ヒラリバタフライ男爵

簡単に まとめてみました。
画像で回答します。