Un montón binario es un árbol binario completo que satisface la propiedad de ordenamiento del montón. El orden puede ser uno de dos tipos: la propiedad min-heap: el valor de cada nodo es mayor o igual que el valor de su padre, con el elemento de valor mínimo en la raíz.