Positive bump of an order automorphism

ID: positive-bump-of-an-order-automorphism

A positive bump of the real line is an order automorphism whose nonempty support of a permutation is one open interval and which moves every point of that interval to the right. It fixes the complement. Iterating any interior point tends to the right endpoint in positive time and to the left endpoint in negative time.

New to topics? Read the docs here!