Positive bump of an order automorphism
= Positive bump of an order automorphism
= Positive bumps of an order automorphism
{synonym}
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.