Multiensemble

La notation des multiensembles compte les éléments répétés.

Par exemple, {a, a, b} contient deux exemplaires de a et un de b ; un ensemble ordinaire le traite comme {a, b}.

Interprétez ⊌ selon la formule qui l’entoure : il désigne un multiensemble, mais ne précise pas à lui seul une opération particulière.

L’idée de multiensemble prolonge la théorie des ensembles

Un multiensemble ressemble à un ensemble, avec un compte ajouté pour chaque élément. La notation des ensembles utilisait déjà ∪ et ∩ pour l’union et l’intersection ; Peano employait ces signes en 1888. Cela situe la notation des ensembles, sans prouver que ⊌ dérive de l’un de ces signes.