# Definitions for limsup and liminf

I was wondering what are the general spaces that the concepts limsup and liminf can apply to? Is complete lattice one of them? Also How about metric space?

What are limsup and liminf specified with respect to? A subset? A sequence/net/filter base?

How many kinds of definitions for limsup and liminf in these various cases? Are they equivalent? If not, what are the conditions for them to be equivalent?

-
Some references for limit inferior and limit superior of a net can be found in wikipedia article en.wikipedia.org/wiki/Net_%28mathematics%29#Limit_superior (or this revision - in case it changes - en.wikipedia.org/w/… ) – Martin Sleziak Jul 20 '11 at 9:58
See also this answer for some further comments and references on limsup and liminf of a net of real numbers. – Martin Sleziak Jan 8 '12 at 8:39

The notion of a $\limsup$ of a filtered directed set makes sense. Namely, let $A$ be a filtered directed set and $x_\alpha, \alpha \in A$ be an $A$-indexed family in $\mathbb{R}$. Then one can define the $\limsup$ as the infimum of $\sup_{\beta > \alpha} x_{\beta}$ over all $\alpha$. This makes sense for the $\liminf$ as well.