A tree-shaped structure that keeps the min (or max) element accessible in O(1), with O(log n) insert and remove.
Practice MCQs for this concept are coming soon.