Multiset je modifikace konceptu sady , která umožňuje zahrnutí stejného prvku do kolekce několikrát. Počet prvků v multimnožině, při zohlednění opakujících se prvků, se nazývá její velikost nebo síla .
Myšlenka multimnožiny byla implicitně používána již od starověku ( Knuth uvádí příklad Bhaskary II z 12. století, který studoval permutace multimnožin), ale zavedení konceptu a fixace termínu jsou připisovány de Bruijnovi (70. léta 20. století) [1] . Používá se především v aplikacích ( informatika , umělá inteligence , teorie rozhodování ), při aplikaci na teorii Petriho sítí se multimnožina nazývá množina [2] . Různé aplikace používají různý zápis.
Formálně je multimnožina na množině definována jako uspořádaná dvojice , kde je funkce , která každému prvku množiny přiřadí nějaké přirozené číslo , nazývané násobnost tohoto prvku.
Jedním z nejjednodušších příkladů je vícenásobná množina prvočinitelů celého čísla. Takže například rozklad čísla 120 na prvočinitele má tvar: , takže jeho multimnožina prvočíselných dělitelů je .
Dalším příkladem je multimnožina kořenů algebraické rovnice . Například rovnice má kořeny .
Počet různých multimnožin mohutností sestávajících z prvků vybraných ze sady mohutností lze vypočítat z následujícího vzorce jako binomický koeficient :
.