[1]
[[定義域]] [CODE(math)@en[[VAR@en[D[SUB[1]]]], [VAR@en[D[SUB[2]]]], [VAR@en[D[SUB[3]]]], ..., [VAR@en[D[SUB[[VAR[n]]]]]]]]
上の[DFN[[[関係]]]] ([DFN@en[[[リレーション]]]])
[CODE(math)@en[[VAR[R]]]] とは、
[[直積]] [CODE(math)@en[[VAR@en[D[SUB[1]]]] × [VAR@en[D[SUB[2]]]] × [VAR@en[D[SUB[3]]]] ×・・・× [VAR@en[D[SUB[[VAR[n]]]]]]]]
の[[有限部分集合]]です。