Menge, in der eine Wiederholung von Elementen möglich ist.

Am einfachsten erklärt man eine Multimenge \(\hat{M}\) als Paar (S, r_M) mit S als Grundmenge und r_M : S → ℕ₀, wobei (r_M(a)) angibt, wie oft das Element a ∈ S in \(\hat{M}\) auftritt. Ist r_m(a) = 0, so heißt das, daß a nicht in \(\hat{M}\) erscheint.

Um Verwechslungen mit gewönlichen Mengen auszuschließen, fügt man meist das Symbol ^ hinzu und nennt \(\hat{M}=(S,{r}_{M})\) eine Multimenge aus S.