>>384
同じようなものは同じにしておくという考え方は、まあ当然で自然ですよね。
ただしそこでいう識別可能な形をゲットするには、指示関数の定義が必要なので、それはmultiset,bagの議論ではなく単なるunique-setの観点です。
指示関数・特性関数characteristicについては以前どこかのスレで書いたので、この観点からの推察は今回は無いです。
パーテーションについて少し考えてみたら、対応付けについての集合成分（要素）の発展的洞察を一つ見つけましたよ。
数学科の学生院生は、こういう他愛もない抽象思考の、構成可能なシステムやデザインについて構造を構築する食指が動くと思ったんですけど、今回は教科書に掲載されてない事例なので不発だったようですね。