A priority queue in which a key being inserted is never higher in priority than a previously deleted node.