I am not sure but I think option C is correct, because for example
min or max heap is the implementation of priority queue, in that order of elements may not decide result of basic operation so s1 is false
s2 is true because heap as priority queue implementation is complex