定的序关系于任何一个子节点的键值，且每个节点的左子树和右子树都是一个二叉堆。当父节点的键值总是大于或等于任何一个子节点的键值时为「最大堆」。当父节点的键值总是小于或等于任何一个子节点的键值时为「最小堆」。
存储.二叉堆一般用数组来表示。如果根节点在数组中的位置是1，第"n"个位置的子节点分别在2"n"和 2"n"+1。因此，第1个位置的子节点在2和3，第2个位置的子节点在4和5。以此类推。这种基于1的数组存储方式便于寻找父节点和子节点。如果存储数组的下标基于0，那么下标为i