Determines if one iterator succeeds another.
rhs < lhs
This overload participates in overload resolution only if lhs - rhs is a valid expression.
lhs - rhs