Heaps using abstract specification Heaps using abstract specification Abstract specification for trees A new ADT: Priority Queue Definition of heaps Insertion in a heap Abstract…