二項関係

• 二項関係 は、k項関係の中でもよく用いられる
• 表記するときには普通、中置記法を用いる
  • 例: $a<b$
  • 例2: $a=b$
• 一般の二項関係 $R$ でも用いられ、$aRb=\text{TRUE}$ は単に $aRb$ と書く
  • プログラミング言語におけるbooleanの扱いと同じだ