The constraints for two iterators, begin and end, forming an iterator range are They refer to elements of, or one past the end of, the same container. end must not precede begin.