Gemäß der Definition von einem binären Heap wird die Abfolge der Elemente in einem Heap durch eine Vergleichsoperation (mathematisch: Relation ) bestimmt, die eine totale Ordnung auf den Elementen definiert.