The library guarantees that iterators access elements in order by key.The begin operation yields the element with the lowest key.Incrementing that iterator yields elements in nondescending order.