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\ge 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$

Analogy with sequences of real numbers

Let $(a_n{)}_{n=1}^{\mathrm{\infty }}$ be a sequence of real numbers, let $ϵ>0$ be a real number, and let $x$ be a real number.

We say $(a_n{)}_{n=1}^{\mathrm{\infty }}$ is eventually $ϵ$-close to $x$ iff there exists some $N\ge 1$ such that for all $n\ge N$ we have $|a_n-x|\le ϵ$.

We say that $(a_n{)}_{n=1}^{\mathrm{\infty }}$ is continually $ϵ$-adherent iff for every $N\ge 1$ there exists some $n\ge N$ such that $|a_n-x|\le ϵ$.

I think we can even define $A_n:=\{x\in \mathbf{R}:|a_n-x|\le ϵ\}$.