ゆるゆる べんきょう

暇だから哲学・数学・物理学をゆるく勉強しているよ

二項関係

集合論でなく、論理学で二項関係はやったので簡単にやっつけられそう

 

集合論では A×A のサブクラスで関係を定義できる。これは、「サブクラスR に含まれる要素のみが、関係Rを真たらしめるものだ」というように解釈することに相当する。まぁ確かにそう解釈することも可能か

 

「reflective, symmetric, transitive」な二項関係を「同値関係」と呼び、

「reflective, anti-symmetric, transitive」な二項関係を「順序関係」と呼ぶ

 

次回は同値関係に関して勉強