Min-heap property

Summary