 Invariant interval

An invariant interval for a scalar map is an interval whose points remain in that interval under every forward iterate. Here invariance means forward invariance and does not assert surjectivity onto the interval.