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).