Invariant interval
= Invariant interval
{title2=$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.