When a value V1 and a value V2 belong (to a range) and either the range is an ascending range and V2 is the predecessor of V1, or the range is a descending range and V2 is the successor of V1.