Конец правил аннулирования итератора

Что касается этого вопроса о правилах недействительности итераторов , кажется очевидным, что дух стандарта означает, например, что «стирание в середине двухсторонней очереди делает недействительными все итераторы, а ссылки на элементы двухсторонней очереди "также относятся к конечному итератору.

Однако я не могу найти нигде, где стандарт делает это явным, и, строго говоря, конечный итератор не является итератором в элемент в контейнере.

Это где-то ясно сказано в стандарте 2003 года?