二項関係

• 集合$A$から集合$B$への関係$R:A\to B$を、直積集合$A\times B$の部分集合Rとみなすこともできる。これを$aRb$あるいは$(a,b)\in R$と表現し、元$a$は元$b$と$R$関係にある、という
• Binary relationとも
  • n-ary relationの$n=2$

代表的な二項関係

• 同値関係
• 半順序関係