На сколько корректна следующая запись:

std::set<int> associative_container{ 1, 2, 3, 4 };
int back_value{ *std::prev(std::end(associative_container)) };

Стандарт дает какие то гарантии, что декремент end-итератора будет указывать на последний элемент ассоциативного контейнера?
Или это все же UB?