Définition de multiensemble | Babel Free

Définitions

1. Ensemble généralisé dont on autorise les éléments à apparaître plusieurs fois au lieu d’une seule ; rigoureusement, couple (A,m) où A est un ensemble et m une fonction qui à chaque élément de A associe un entier naturel appelé sa multiplicité.
2. Type abstrait de données non ordonnées.

Exemples

“Fondamentalement, une file de priorité est un sac (un multiensemble) d'entiers naturels doté de deux opérations particulières par rapport aux sacs : la suppression d'une occurrence du plus petit élément du sac (suppression d'un élément prioritaire de la file) et la rechercher d'une occurrence du plus petit élément (recherche d'un élément prioritaire de la file).”