A complete binary tree with the additional property that at every vertex,
neither child is smaller than the vertex. ( a partial ordering)Concepctually a complete binary tree, but implemented as an array.
Properties -- for vertex at index i
- left child is at index 2i
- right child is at index 2i + 1
- parent is at |_ i / 2_|