Assim, poderíamos também definir um heap como um array H[1..n] no qual cada elemento na posição i na primeira metade do array é maior ou igual aos elementos nas posições 2i e 2i + 1, ou seja, H[i] ≥ max{H[2i], H[2i + 1]} for i = 1,..., (piso)n/2(piso).