Proposed resolution:

Insert a new paragraph between [iterator.requirements]/7+8:

[..] The result of the application of functions in the library to invalid ranges is undefined.

The result of directly or indirectly evaluating any comparison function or the binary - operator with two iterator values as arguments that were obtained from two different ranges r1 and r2 (including their past-the-end values) which are not subranges of one common range is undefined, unless explicitly described otherwise.