親ノードが常に子ノード以上の値を持つ完全二分木を何というか。

優先度付きキューの実装などに用いられ、最大値をO(1)で参照できる。