Heap Eigenschaft Die Heap Eigenschaft ist hergestellt wenn gilt: l≤i≤r,l≤2i≤r⟹a[i]≥a[2i]l≤i≤r,l≤2i+1≤r⟹a[i]≥a[2i+1]\begin{aligned} l \leq i \leq r, l \leq 2 i \leq r & \Longrightarrow a[i] \geq a[2 i] \\ l \leq i \leq r, l \leq 2 i+1 \leq r & \Longrightarrow a[i] \geq a[2 i+1] \end{aligned}l≤i≤r,l≤2i≤rl≤i≤r,l≤2i+1≤r⟹a[i]≥a[2i]⟹a[i]≥a[2i+1]