Is it a redundant line?

lement is always greater than any element to its left and greater than any e…ntee that for any member of the vector, that element is always greater than any element to its left and greater than any element to its left. This is an undefined behaviour in C++, there are no rules for how this is supposed to be handled, …

Strict Weak Ordering and the C++ STL

141