C++にはmultimapというテンプレートクラスがある。直訳すると多重集合かな。
手前味噌のクロスワードギバーでもmultimapを使った。重複を数える文字の集まりを表すのに必要だった。
これは像が自然数になるように特性関数を拡張した集合とでもいうべきか。