を index とする。 は、各添字に対して の元を与えるもの。つまり 個の がある。 は、 の各要素に の元を対応させるもの。つまり を 個に分割するもの。 があるとき、index付きの像 を考えられる。 ここから自明な写像 を考えれば、これはindexed set. 多分…