二項関係

$X, Y$ を集合とする。直積集合の部分集合 $R \subseteq X \times Y$ を、$X$ から $Y$ への二項関係という。とくに $Y = X$ のとき、$R \subseteq X \times X$ を $X$ 上の二項関係という。

$(x, y) \in R$ であることを $x \mathrel{R} y$ とも書き、「$x$ は $y$ と $R$ の関係にある」と読む。