Un árbol cumple la condición de montículo si satisface dicha condición y además es un árbol binario casi completo.