En informatique, un tas binaire est une structure de données utilisée notamment pour implémenter une file de priorité car elle permet de retirer l’élément de priorité maximale d'un ensemble ou d’insérer un élément dans l'ensemble en temps logarithmique tout en conservant la structure de tas binaire. Wikipedia