[1] 定義域 D1, D2, D3, ..., Dn 上の関係 (リレーション) R とは、 直積 D1 × D2 × D3 ×・・・× Dn の有限部分集合です。
D1, D2, D3, ..., Dn
R
D1 × D2 × D3 ×・・・× Dn