Order (heap)

Heap-Order: for every internal node $v$ other than the root, $key(v)\ge key(parent(v))$.