集合論でなく、論理学で二項関係はやったので簡単にやっつけられそう 集合論では A×A のサブクラスで関係を定義できる。これは、「サブクラスR に含まれる要素のみが、関係Rを真たらしめるものだ」というように解釈することに相当する。まぁ確かにそう解釈す…