Сравнение равенства для входных итераторов

Каковы требования для сравнения равенства для входных итераторов, если один из итераторов признан недействительным?

input_iter x = foo();
input_iter y = x;
++x;
return x == y;  // What must this return?

В приведенном выше примере разыменование y очевидно, будет неопределенным, но результат сравнения равенства, как это определено? чтение cppreference.com, это определенно тот случай, когда два входных итератора должны сравнивать true если они на самом деле одинаковы, так как входные итераторы должны удовлетворять EqualityComparable, но на самом деле я не вижу ничего, что говорит о том, каким должен быть результат, если не тот же самый. Разрешено ли мне всегда вернуть true от operator== (кроме случаев сравнения с конечным итератором)?