Invariant interval (source code)

= 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.