Definition:Limit Superior of Sequence of Sets/Notation

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

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

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