* $prioritate$.

Structura de date respecta doi invarianti:

Structura de date respectă doi invarianţi:

* _dacă parcurgem arborele în inordine, atunci vom obţine nodurile sortate_; (invariantul arborilor de cautare)

* _dacă parcurgem arborele în inordine, atunci vom obţine nodurile sortate_; (invariantul arborilor de căutare)

* _prioritatea fiecărui nod este mai mare decât cea a fiilor săi_. (invariantul heapurilor)