ThmDex – An index of mathematical definitions, results, and conjectures.
Result R2371 on D1686: Limit superior
Equivalent characterisations of membership in a limit superior for sequences of sets