non-decreasing->strictly increasing  in IntegerSet comment