engl.: heap property
Die Heap-Eigenschaft garantiert, dass der Schlüssel eines Knotens M größer gleich aller Schlüssel in den Unterbäumen von M ist.
Insbesondere steht in der Wurzel ein Element mit einem maximalen Schlüssel.