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?