A complete binary tree where every node has a key more extreme (greater or less) than or equal to the key of its parent.