Is a queue like data structure where each element has an associated [see page 20, priority]. The queue serves elements with a higher priority before elements with a lower priority.