complete tree data structure where every node has a key more extreme (greater or less) than the key of its parent