Y空でない、直接製品$ Xの\倍Y $任意のサブセットの$ Rの\サブセットXの\倍Y $関係がY $と呼ばれ、$ $ $ Xは、提供されるX- $ $ $および$
$（IF X、Y）\ R $の 、 $第X $と$ Y $は$ XRY $で表さの$ R $を、関連していると主張
notin $（x、y）を\場合 、Rの$ と主張$第X $と$ Yの$ X $ \ R＆LTのwidetilde} {$ Yで表さ全く関係の$ R $のない、
$ R＆LT \ X-サブセット\ $ X-タイムズX-の$ $の関係と呼ばれます
たとえば、次の
セットの$ X = \ {2,4,6,8 \} 、$ それは
$ X $ $ R_1 = \の関係よりも大きい{ （X、Y）| X> Yの\} = \ {（4,2 ）、（6,2）、（8,2）、（6,4）、（8,4）、（8,6）\} $
関係に等しい$ $ X- $ R_2 = \ {（X、 Y ）| X = Yの\} = \ {（2,2）、（4,4）、（6,6）、（8,8）が\} $
$ X $ $ R_3 = \ {で割り切れる関係 （Xは、Y）| X割り切れるのY \} = \ {（2,2 ）、（2,4）、（2,6）、（2,8）、（4,4）、（4,8）、（ 6,6）、（8,8）\} $