Can you summarize the following document?
        
  堆的實現通過構造二叉堆(binary heap),實為二叉樹的一種;由於其應用的普遍性,當不加限定時,均指該資料結構的這種實現。這種資料結構具有以下性質。 將根節點最大的堆叫做最大堆或大根堆,根節點最小的堆叫做最小堆或小根堆。常見的堆有二叉堆、斐波那契堆等。

  某些堆實現還支援其他的一些操作,如斐波那契堆支援檢查一個堆中是否存在某個元素。

  為將元素</code>X</code>插入堆中,找到空閒位置,建立一個空穴,若滿足堆序性(英文:heap order),則插入完成;否則將父節點元素裝入空穴,刪除該父節點元素,完成空穴上移。直至滿足堆序性。這種策略叫做上濾(percolate up)。  以上是插入到一個二叉堆的過程。  codice_1,刪除最小元,即二叉樹的根或父節點。刪除該節點元素後,佇列最後一個元素必須移動到堆得某個位置,使得堆仍然滿足堆序性質。這種向下替換元素的過程叫作下濾。

  

  堆(通常是二叉堆)常用於排序。這種演算法稱作堆排序。

  主要運用堆的排序以選擇優先。
堆()是電腦科學中的一種特別的樹狀資料結構。若是滿足以下特性,即可稱為堆積:「給定堆積中任意節點P和C,若P是C的母節點,那麼P的值會小於等於(或大於等於)C的值」。若母節點的值恆小於等於子節點的值,此堆積稱為最小堆積();反之,若母節點的值恆大於等於子節點的值,此堆積稱為最大堆積()。在堆積中最頂端的那一個節點,稱作根節點(),根節點本身沒有母節點()。