The concept of lim sup and lim inf can be applied to sets too. Here is a nice characterisation of lim sup and lim inf of sets:

For a sequence of sets , consists of those points that belong to infinitely many , and consists of those points that belong to all from some on (i.e. belong to all but finitely many ).

Proof:

Note that