对于n个元素的关键字序列k₁，k₂，…，k_n，若将其按次序对应到一棵具有n个结点的完全二叉树上，使得任意结点都不大于其孩子结点(若存在孩子结点)，则称其为小顶堆。根据以上定义， (43) 是小顶堆。