集合 "x"1, …, "x""k" 上の関係 "l" とは、それらの直積の部分集合 "l" ⊆ "x"1 × … × "x""k" である。