Let  be a Hausdorff space and   a function. A point  is said to be recurrent (for ) if  , i.e.
Let  be a topological space and   a mapping. A point  is said to be recurrent (for ) if, given any neighborhood  of , there exists a neighborhood  of  such that .