Proposed resolution:

Change [alg.heap.operations] property (1) from:

(1) *a is the largest element

to:

(1) There is no element greater than *a

25.3.6 [lib.alg.heap.operations] states two key properties of a heap [a,b), the first of them is

    "(1) *a is the largest element"

I think this is incorrect and should be changed to the wording in the proposed resolution.

Actually there are two independent changes:

A-"part of largest equivalence class" instead of "largest", cause 25.3 [lib.alg.sorting] asserts "strict weak ordering" for all its sub clauses.

B-Take 'an oldest' from that equivalence class, otherwise the heap functions could not be used for a priority queue as explained in 23.2.3.2.2 [lib.priqueue.members] (where I assume that a "priority queue" respects priority AND time).