Definition:Limit Inferior of Sequence of Sets/Notation

Definition
Let $\set {E_n: n \in \N}$ be a sequence of sets.

The limit inferior of $E_n$ can also be seen denoted as:
 * $\displaystyle {\underline {\lim} }_{n \mathop \to \infty} \ E_n$

but this notation is not used on because it does not render well.

Some sources merely present this as:
 * $\ds \underline \lim E_n$