cpp/experimental/ranges/iterator/Incrementable

The concept specifies the requirements on a type that can be incremented (with the pre- and post-increment operators). The increment operations (including those required by ) are required to be equality-preserving, and the type is required to be.

Let and  be incrementable objects of type. is satisfied only if:
 * If then.
 * If then.