集合論でなく、論理学で二項関係はやったので簡単にやっつけられそう
集合論では A×A のサブクラスで関係を定義できる。これは、「サブクラスR に含まれる要素のみが、関係Rを真たらしめるものだ」というように解釈することに相当する。まぁ確かにそう解釈することも可能か
「reflective, symmetric, transitive」な二項関係を「同値関係」と呼び、
「reflective, anti-symmetric, transitive」な二項関係を「順序関係」と呼ぶ
次回は同値関係に関して勉強