堆是一种特殊的完全二叉树，而根节点的值与子节点的值满足某种顺序要求，依据堆的类型而定，但堆必须是完全二叉树。