Max-heap property