Infinitely often and almost always

Let $A_1,A_2,A_3,\dots$ be a sequence of events in some sample space $\mathrm{\Omega }$. Let $\omega \in \mathrm{\Omega }$ be an outcome.

In the following table, all statements in the "infinitely often" column are logically equivalent. Similarly, all statements in the "almost always" column are logically equivalent.

perspective	infinitely often	almost always
unions and intersections	$\omega \in \bigcap _{N=1}^{\mathrm{\infty }}\bigcup _{n=N}^{\mathrm{\infty }}{A}_n$	$\omega \in \bigcup _{N=1}^{\mathrm{\infty }}\bigcap _{n=N}^{\mathrm{\infty }}{A}_n$
first-order quantifiers	$\mathrm{\forall }N\ge 1\mathrm{\exists }n\ge N:\omega \in A_n$	$\mathrm{\exists }N\le 1\mathrm{\forall }n\ge N:\omega \in A_n$
verbal expression	$\omega \in A_n$ for infinitely many $n\ge 1$	$\omega \in A_n$ for almost all $n\ge 1$, i.e. $\omega \in A_n$ for all but finitely many $n\ge 1$, i.e. $\omega \notin A_n$ for finitely many $n\ge 1$
lim sup/lim inf	$\omega \in {lim sup}_{n\to \mathrm{\infty }}{A}_n$	$\omega \in {lim inf}_{n\to \mathrm{\infty }}{A}_n$
limit of sup/inf	$\omega \in \underset{N\to \mathrm{\infty }}{lim}\bigcup _{n=N}^{\mathrm{\infty }}{A}_n$	$\omega \in \underset{N\to \mathrm{\infty }}{lim}\bigcap _{n=N}^{\mathrm{\infty }}{A}_n$