>>92
その理解でいいと思う

ただ、「ヒープ==半順序木」が本当に第一義かというと異論あるかも。
おそらく世界で最初にプログラムとして実装された半順序木は
配列を使ったものなので、明確に区別されていなかった可能性はある。
広義と狭義だと考えといた方がいいかもしれない