直積集合
一つの "n" 項の関係は、n個の定義域（ドメイン、後述する）の直積集合の部分集合である。