トピック 4 の続き。直積による$`r`$乗は関数集合〈function set〉だと思ってよい。$`\newcommand{mrm}[1]{\mathrm{#1}}`$$`X \times \cdots \times X = X^r \cong \mrm{Map}(\bar{r}, X)`$$`x\in \mrm{Map}(\bar{r}, X)`$ に対して、引数 $`i\in \bar{r}`$ …

「一度選んだモノは選ばないとして順番に選ぶ」ことの定義として、$`\{(x_1, x_2, \cdots, x_r) \in X^r \mid x_1\in X, x_2\in (X\setminus \{x_1\}), \cdots \}`$これでも意図は汲めるし、間違いではないが、左から右へと時間に沿って新しい集合 $`X\setmi…