だったらやっぱり
半順序木＝＝ヒープってことですよね？
んで文脈によってヒープは半順序木の配列による実装を指すことがあるということですね？