 Positively invariant set

A set is positively invariant when every forward trajectory starting in it remains in it.

This is a dynamical example of an invariant; forward invariance and strict inward trapping are additional conditions.