recurrent point
Let be a Hausdorff space and a function. A point is said to be recurrent (for ) if , i.e. if belongs to its -limit (http://planetmath.org/OmegaLimitSet3) set. This means that for each neighborhood of there exists such that .
The closure of the set of recurrent points of is often denoted and is called the recurrent set of .
Every recurrent point is a nonwandering point, hence if is a homeomorphism and is compact
, is an invariant subset of , which may be a proper subset
.