関係 (数学)

集合 X₁, …, X_k 上の関係 L とは、それらの直積の部分集合 L ⊆ X₁ × … × X_k である。

関係は集合の個数 k により分類される。

• Lu は単項関係あるいは性質を表す。
• Luv あるいは uLv は二項関係を表す。
• Luvw は三項関係（英語版）を表す。
• Luvwx は四項関係を表す。

集合 X₁, …, X_k は定義域と呼ばれる。すべての X_j が同じ集合 X のとき、L を X 上の k 項関係と呼ぶ。