- [[n項関係]]とも - [[二項関係]]の一般化 $n$個の集合（ドメイン）$D_1, D_2, .., D_n$の直積集合$D_1 \times D_2 \times , ..., \times D_n$の部分集合