- 集合$A$から集合$B$への関係$R: A \rightarrow B$を、[[直積]]集合$A \times B$の部分集合Rとみなすこともできる。これを$aRb$あるいは$(a, b) \in R$と表現し、元$a$は元$b$と$R$関係にある、という - [[Binary relation]]とも - [[n-ary relation]]の$n=2$ 代表的な二項関係 - [[同値関係]] - [[半順序関係]]