Can you summarize the following document?
        
  堆的实现通过构造二叉堆(binary heap),实为二叉树的一种;由于其应用的普遍性,当不加限定时,均指该数据结构的这种实现。这种数据结构具有以下性质。 将根节点最大的堆叫做最大堆或大根堆,根节点最小的堆叫做最小堆或小根堆。常见的堆有二叉堆、斐波那契堆等。

  某些堆实现还支持其他的一些操作,如斐波那契堆支持检查一个堆中是否存在某个元素。

  为将元素</code>X</code>插入堆中,找到空闲位置,建立一个空穴,若满足堆序性(英文:heap order),则插入完成;否则将父节点元素装入空穴,删除该父节点元素,完成空穴上移。直至满足堆序性。这种策略叫做上滤(percolate up)。  以上是插入到一个二叉堆的过程。  codice_1,删除最小元,即二叉树的根或父节点。删除该节点元素后,队列最后一个元素必须移动到堆得某个位置,使得堆仍然满足堆序性质。这种向下替换元素的过程叫作下滤。

  

  堆(通常是二叉堆)常用于排序。这种算法称作堆排序。

  主要运用堆的排序以选择优先。
堆()是计算机科学中的一种特别的树状数据结构。若是满足以下特性,即可称为堆积:「给定堆积中任意节点P和C,若P是C的母节点,那么P的值会小于等于(或大于等于)C的值」。若母节点的值恒小于等于子节点的值,此堆积称为最小堆积();反之,若母节点的值恒大于等于子节点的值,此堆积称为最大堆积()。在堆积中最顶端的那一个节点,称作根节点(),根节点本身没有母节点()。