20170829

m を 1 以上の自然数とし, X を m 元集合とし, 1 以上の自然数 n に対して X を n 個直積した集合の元の個数は m^n である.
1 以上の自然数 n に対して, X^n の元の個数は X^(n+1) の元の個数の 1/m 倍である.
X^0 に対しても同じ計算をして 0 個の直積は一元集合と考えるか.
集合 X に対して, X^0={空集合}.