記法
X を集合とする。
m（1 ≦ m ≦ |X|）を整数とする。
X^m を X の m 重の直積集合とする。
X^m の元 (x_1、．．．、x_m) で i ≠ j （1 ≦ i、j ≦ m）なら x_i ≠ x_j となるもの全体からなる
X^m の部分集合を X^[m] と書く。