関係

$A$ と $B$ を集合としたとき，直積集合\[A \times B = \bigl\{\langle x,y \rangle | x \in A, y \in B \bigr\}\]の部分集合\[R\]を集合 $A$ から集合 $B$ への関係といいます.

$A$ の要素 $x$ と $B$ の要素 $y$ が $R$ の関係にあるとき,\[aRb\]と表します.

Vita brevis, ars longa. Omnia vincit Amor.