2項関係

集合$S$上の2項関係$R$とは$S\times S$の部分集合のこと． $\left(x,y\right)\in R$の代わりに$xRy$と書く．

例えば実数の集合$\mathbb R$上の2項関係 $R=\left\{\left( x,x\right)\middle|x\in {\mathbb R}\right\}$ が考えられる．