Invariant interval ($F(J)\subseteq J$)

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.