Atrapping region is a compact region across whose boundary the vector field points inward. It is positively invariant and confines every forward trajectory that enters it.
This is a dynamical example of an invariant; forward invariance and strict inward trapping are additional conditions.
