整列２分木：ヒープ（heap）

整列２分木（heap）とは、以下の条件を満たすラベル付き木である：
1. 完全２分木である。但し最下段（レベル０）だけは例外で、左から順に詰まっていれば、頂点（ノード）が存在しなくても良い。レベル１の頂点の内、子が１個のものは高々１個で、あれば左の子だけを持つ。
2. 各頂点が「頂点のラベルは何れの子のラベルよりも小さくない」というヒープ条件（heap condition）を満たしている。