関係 (数学)

集合 "X"1, …, "X""k" 上の関係 "L" とは、それらの直積の部分集合 "L" ⊆ "X"1 × … × "X""k" である。
関係は集合の個数 "k" により分類される。
集合 "X"1, …, "X""k" は定義域と呼ばれる。すべての "X""j" が同じ集合 "X" のとき、"L" を "X" 上の "k" 項関係と呼ぶ。