Un montículo es un árbol binario que satisface las siguientes condiciones: